TSLTokenStream -> TSLLexer