keep BindingRepl as a class for internal use.