Removed architecture DSL
Added support for left and right brackets
Made vars typecheck their definitions
Removed module AST
Added new transformer system to ASTs
Transformer tests and bugfixes