first unifier :as tests, allow lvars to be terms to be unified