Generic unification of first-order terms.