- Fixed the validation/precompilation of nonterminals; now, nonterminals can only be declared via production rules -- %type declarations only "annotate" those declarations with types.