unification
Libraries adding unification operations to Common Lisp