add more documentation for `simpl rewrite`

As discussed at #553.
Do you think either of those would be worth doing?