A project for solving unification problems modulo a theory of chaining.