changed Lexer.sml