First draft of rare_rewrite
This is just a draft specification of the rare_rewrite rule. Besides further developing the rule description, some other missing content/doubts:
- concrete example of a
rare_rewriteapplication - where should
rare_rewriteappear, within the document? (I just put it at the end) - should we mention something about where those rewrite rules should be?
- should we also mention something about the language with which rewrite rules are described?