style: use 'nonterminal' consistently