replace comments w/ annotations on nullable, FIRST, FOLLOW examples

A couple of the comments were actually wrong: FIRST and FOLLOW are
maps from grammar symbol to set of nonterminals. Furthermore, explicit
type annotations are obviously better for this sort of thing.