Start of HOAS version
Ported eqTerm from Easy! to HOAS
Removed unneeded DB variables
Added normalization procedure for checked HOAS terms
First pass at implementing normalization
Using some new features in monad-gen