MOD: Moved the formal grammar to an appendix.
MERGE: Resolved merge conflicts.