add more documentation for `simpl rewrite`

As discussed at #553.
It might be worth having `simpl erewrite` variants, or only having `simpl erewrite`; I'm not really sure about that.  I think it's almost certainly not worth doing an explicit evar check.