Like letf*, but evaluates all the implicit subforms and new values of all the implied setfs before altering any values. However, the store forms, see get-setf-method, must still be evaluated in sequence. Uses unwind-protect's to protect the environment.