added Lexer.exchange_tokenset()