Started implementation of unification (for types)