fixed some unification problems like Type parameters are invariant, In should be In

Is this a good idea?