Good idea.  Art, can you add "An implementation of these macros is free to evaluate the <i>place</i> either once or twice, so it is an error for the place expression to have either side-effects or
non-trivial computation."  That should go at the end of the first paragraph of the Macros section.  Thanks.