By the way, placelet isn't macrolet. In the above, the (ball-x ball) place form is evaluated once to determine the place which becomes aliased by the it symbol. The two occurrences of it in the (set it ...) form do not cause multiple evaluation of (ball-x ball).
TXR Lisp's anaphoric operators like ifa and conda use placelet, so that their "it" can be a place referring to the original: