prefix token names with 'Tok', to prevent name collisions in the parser