Improved printing/rendering of Binding
Changed EDSL to Language.Embedded in module hierarchy
Adapted to module Data.Syntactic.Functional
Haddock in Syntax module
Haddock comments in Constructs.hs
Explicit exports in Constructs.hs
Export Syntactic modules from Eval.hs