Nonterminal types are now subtypes of node