Note what happens if no rules match.
Actually, I want pattern-dispatch to be a facade over
make-pattern-operator, with slightly different interfaces (so that the
latter is more easily extended to other arguments, if desired).
Nicer alias for rule-simplifier.
rule-simplifier of one rule is pretty redundant.
Document the term-rewriting combinators.