Getting rid of explicit stacks with more left-recursive rules.

As a result, the grammar should be more readable.