Split out shared node code and clean up unifier code a bit

Change humanize to __repr__
Use None as default argument
misc.
Remove commented out code from unifier
Add a main entry point into clause form converter and the required tests
Cleanup tests in unifier