Eval redef and macros

There is an obvious overlap between macros and eval redefinition. Queinnec's Macroexpansion Reflective Tower is a good perspective on this.

One important consideration here is that the order of ERs is relevant to the evaluation of ER-macros.