I actually followed the approach of creating new REPL whenever the binding changes, but ran into some strange error `block in populate_repl_attributes!' from the thread synchronization stuff in `repl_session`. Do you think we can remove all the synchronization code?