Comment by alxmng

I think the issue is performance. A true term rewriting system has to essentially operate on text, right?