Added grammar definition info to the configuration produced by the type
checker; added name resolution for nonterminal types in productions
(production types).