I was wondering the same thing about making macros optionally recursive. Because if they were recursive, then that feature and `__VA_OPT__` would be enough to make them Turing-complete.

An alternative in pure cpp is https://github.com/swansontec/map-macro