RFC: Macro reform

[Rendered view](https://github.com/kmcallister/rfcs/blob/macro-reform/text/0000-macro-reform.md)
I'm not clear on how the implementation change ties in with the language change - why do we need/want to change the representation of macros?