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