true if there are at least types.length tokens starting at the current token, and the tokens have types corresponding to the elements of types.
See Implementation