A generalization of the Bound library to support term unification.