changing common subtype to explicit type conflict
 P_PairElimL complete (no more ElimL?)