It also removes the frontend exits I had. In the case of stack depth, we follow the example of the RD parser and only check stack depth for backend code. In the case of the check that the lexer is set up for incremental parsing, the exit is replaced by an Assert.
On second thoughts, I think it might be better if we invent a new error return code for a lexer mode mismatch.