DSL compilation now works at run and compile time.

TODOs in place.