Macro Support for Nitra Definitions

[sirinath]

Is it possible to have macro support for Nitra definitions:

• [ ] AST for Nitra it self
  • [ ] Nitra AST and module
  • [ ] Nitra AST monadic manipulations and transformations to produce new AST
• [ ] Quasi Quotes for Nitra definitions
• [ ] GADT based construction of Nitra AST
• [ ] Extend all above features for Nitra defined languages