rational terms with unification