We can pass the exception here, and just get the binding stack from there. I'm even whether the REPL model should know about the exception at all. We can just keep the exception around and ask it for the right binding.