I'd like to see this tightened up to indicate that macros expand once, as in a compiler, and are not expanded over and over each time an expression is interpreted. I feel very strongly that requiring this is a bad idea.