Added space after stray Haddock empty line.
Moved fast program lookup representation from the EvalEduction interpreter to Syntax (to be reused).
Better TTD support for data types and modules.