Added type unification