Use an immutable data structure for matches

[nrc]

It should be way more efficient than cloning and will permit matching on types which are not Clone.

I think a finger tree is what we want, but I don't recall properly.