Arbitrary syntactic type now stores ref to lattice node.
Added implementation of print-lattice-contents for debug.
Turn off printing unifiers.
Inverted the implementation of the lattice with the addition of omega. Now using sets instead of vectors for parents/children.