polishing lexer done (?)