Add support for rewriting that matches on `match`es
Add support for rewriting that matches on `match`es

It does not do ANYTHING with alpha-equivalence at ALL, but it was good enough
for my purposes in the moment.  Famous last words, I know…

antalsz/hs-to-coq,antalsz/hs-to-coq