Update the grammar to match the ebnf used in the paper.
Update the grammar to match the ebnf used in the paper.