Expanded the discussion of Unification.
Expanded interpreter discussion.
Significant additions to the dissertation.
Tweaks to private notes.
Fixed a bug where the transitive closure did not correctly find all transitive bindings.
Added 'use' declarations to TopLevel.