Prove more things not nullable
More nullable theorems.
Prove firstSet values for the various expression non-terminals.

Lots of cut-and-pasting of tactics. Could probably be done more
automatically.
More nullability results needed.
More completeness cases (42 still to go)