The only thing to note here is that the DivPunctuator and RegularExpressionLiteral productions produce tokens but are not part of the Token production because they are the bane of your existence. Oh I mean, because they need to be separated by outer productions.