Check whether the next token is present.
If no choices are provided, then any token is considered valid. If any choices are provided, then the next token must match one of the Token.IDs.