added more typed nonterminals
added placeholder grammar production code