Re: What happened to term rewriting macro?

[Demos]

it's not talked about that much, since it _very_ useful but only in a few 
contexts. And it's also probably the best way to shoot yourself in the foot in 
the whole language.