Implement `!`, the new `not`, and fix up the CSV parser.
Add program analysis pass, to look for undefined nonterminals.