Generously lex varsyms and correct the token type before parsing.