Continued implementation of Lazy Lexing