Restructured large parts of the application; changes not complete yet.

Generalized many operations
 - Unification
 - References (former meta type vars)
 - Generalization and instantiation
 - Folds
Updated cabal file.
RankN type checker now covers all expressions.
Small logic language for functor fixpoint terms.
Unique id generation in TC.