On term rewriting macros

[Araq]

To make it clear: Enough people have tried to use "TR macros" for things other 
than optimizations so a more general "rewrite system" would be acceptable too. 
Then it cannot be disabled anymore but it's a price I'm willing to pay.