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.