improving on the term unification api