Typing Is Hard
If you have some form of Turing-complete macros, then macro processing might not terminate. I don't see why this is anything but trivial, <i>or</i> a compelling argument against Turing-complete macros.