Generic rewriting

All syntactic manipulations are hand-coded. We don't have very many yet, so it's not a big deal, but proceeding in this way will become increasingly annoying as we develop more capabilities. I'd like a generic rewriting system with all the good stuff: pattern matching, unification, etc.

The `@syntax` macro should support *typed* rewrite rules with a pleasant syntax, e.g., `pattern => replacement`.