Fixed a bug in Unify that changed the order of types in an inequality.
Fixed a bug in Unify that changed the order of types in an inequality.

matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,andrejbauer/eff,matijapretnar/eff,matijapretnar/eff