Added term unification.