add more documentation for `simpl rewrite`
Merge pull request #588 from mikeshulman/rewritedoc

add more documentation for `simpl rewrite`