Propagate polytypes into if and case.