optimizing type-checking of unification variables