Fix partitioning of ellipses with type variables for unification