Re: Globally-invoked macros

[LeuGim]

Btw, there are nice hints for term rewriting macros on their matches in 
compiler output, the like may be displayed for such macros, adding a bit 
explicitness.