Trading optimization
Detecting reflexive closure
Translators modularalized
Parsers modularized
Modularization
Support for conformance testing
Translators modularization
Conformance testing before transformations
Pretty-printing