added type declarations for all nonterminals that are in use at the moment