fix rewrite rules: separate into rules and modifying-rules and add comments
add first benchmark