TransTypes needs to deal with intersection types coming from conditional expressions Reviewed-by: jjg