Replaced unmodified cool.lex with Le's implementation.