Term rewriting system + pattern matching now in TryAlgebra

I wrote the 'term rewriting system' this spring. However, to use it in TryAlgebra, I had to create a...