add more documentation for `simpl rewrite`

As discussed at #553.
I agree with the latter.  I've never used `erewrite`, so I don't really have an opinion on whether `simpl erewrite` would be useful, but I would prefer to keep a non-`erewrite` version available.