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