Improved comment on Term.unify