restructuring bindings in prep for real binding expressions