Resolve the dependency of nonterminal type.
Add new syntax example (support this in the future).