filter out type-eqs with unification variables