unification type