Simplify the grammar for Variable node.
Add notes for the rest of left recursion production rules.