Generation for signatures.
Update generated files
Name binding for modules and imports.
Generate proper Stratego imports for TS imports.
Update generated files
Fixing some obvious errors. Still need to make this compatible with desugared code.
Merge branch 'master' into coq-semantics