Speaking about concepts, I am introducing some standard mathematical ones [here](https://github.com/unicredit/emmy), but I am waiting for [this bug](https://github.com/nim-lang/Nim/issues/3706) to be solved before going on.
About **Q10**: what do you mean exactly? It seems what you want to do should be doable with quasi-quotes or templates + `getAst`
