Unify: a unification tool that includes a deep equivalence and partitioning of objects.