Lexer: now AutoCloseable