Functions

The token is an identifier, but not _. We prohibit passing _ to macros expecting ident for now.
Checks whether the non-terminal may contain a single (non-keyword) identifier.