separated sbcl-specific `with-imposed-bindings'