Get mmlPEGTheory to store its peg0 rewrites (and export them)
More progress with PEG correctness (33 subgoals to go)