Add [simpl erewrite] variants of [simpl rewrite]

Done by copy/paste and s/rewrite/erewrite and s/constr/open_constr/