Proved PEG correct wrt the CFG in semantics/gramTheory.