Added UnitFull, SigRep and Signature
Simplified evaluation by translating directly to a function that does the evaluation
Removed monadic evaluation
Made a newtype for ((->) env)
Changed Cl to Reader
Added simple evaluation class, changed the old one to EvalEnv
Use Eval to make a default implementation of compileSym
Removed appDen
Added evalDen
Added fromDeBruijn
Reimplemented appSym using type families and renamed to smartSym
Added well-scoped terms
Added example file for well-scoped terms
Added tests for well-scoped terms
Fixed evaluation in benchmarks