Implement DSL's join by delegation to the OO API.
Remove Identity
Refactor the compilation process with a Visitor pattern.
Add support for inversing Renamings.