I know procedural macros are different in how they work and more flexible, but the problem remains the same: you can't really look at any macro definition and g

I know procedural macros are different in how they work and more flexible, but the problem remains the same: you can't really look at any macro definition and go i know how to use this. A vector of tokens is not the syntax a programmer can parse without the grammar definition that the macro implements. It's still foreign unless it is well-written to match existing language constructs.