Grammar: Document lookahead and reduce to SLL(3)

No guarantees, but at least the lookaheads > 1 in the reduced grammar correspond exactly to our uses of peek().