add more documentation for `simpl rewrite`

As discussed at #553.