the beginnings of a unification algorithm