Add "Why Term Rewriting" section to README

[joshrule]

It would be nice to add a short, example-heavy section to README.md that describes why term rewriting is an interesting formalism compared to others users might be familiar with from functional programming. Some of the ideas here might be instructive.