with-bindings + renamings