Removed Data.PolyProxy, using Data.Proxy instead
Removed unnecessary Typeable constraint in TypeUniverseClosed.hs
Renamed Interpretation.Semantics to Interpretation.Default
Merged Interpretation.* (except Evaluation) into a single module
Removed the Def type, interpretationInstances uses Render instead
Moved Eval instances into Evaluation module
Added tested with 7.8.2
Simplified and generalized mapAST
New implementation of evaluation based on semantic trees
Updated NanoFeldspar to new evaluation and moved Binding and Construct to a new module
Added evaluation of expressions without variables
Adapted benchmarks to new evaluation
Cleaned up language extensions
Cleaned up dependencies
Cleaned up imports
Added typed variable binding
General Syntactic instances for functions (untyped and typed variable binding)
Evaluation in NanoFeldspar
Removed most of the Constraints module
Moved Empty to Syntax module