Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction