quantomatic
quantomatic copied to clipboard
Context for matching/rewriting
Matching should accept a context. Rewriting also, and rewriting should be able to modify it.
Might also be useful to initialise the substitution for matching at the start of the matching process.