Added first draft of constraint closure.
First draft of inconsistency.
Partial implementation of generalization.
Added generalization function and associated Template Haskell routines.