I've decided to add the macros that Per suggested in parallel with the linear-update procedures.  If SRFI-17 is available, then the first argument is automatically allowed to be a procedure call whose procedure has been registered using getter-with-setter as well as a variable.  Arbitrary expressions are not allowed.