Eliminate multiple representations of vars
Simplify representation, Phi is now list of type equalities