Added instances for Eq and Ord to all core language constructs.
Implemented PatternMatch module.  This contains a single function, PatternMatch,
which (possibly) generates unifiers from a binding/term pair.
Added lambdas and associated cases to all instances.
Minor cosmetic changes.