Type check recovery cause runtime exception in REPL

[at15]

consider the following example

b = 1; // report symbol error and put b into symbol table
b + 1; // runtime exception, but should report symbol error

So in the REPL environment, when check a new line, previous line's recovery operations should be reverted before checking

• allow disable recovery entirely
• log record recovery operations and revert them