Code construction Packages

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

Pipe: a functional toolkit to build efficient data processing pipes.