Module unification 

Unification algorithm and substitution management.

Structs

Substitution

Substitution mapping clause Arg cells to heap addresses.

Functions

unify

Unify two terms on the heap, returning a substitution on success.