in reply to Macros in a RecDescent grammar

In a RecDescent grammar, I'd like to add support in my language for "macros".

Macros are most often implemented as a separate grammar, and macro processing is done by a separate logical process done prior to parsing (possibly even prior to lexical analysis). Trying to mix macros into your primary grammar is going to be an uphill battle. The received wisdom is "keep the two separate", though you might learning something by trying.