Re: Desirable macro

[Daniel L. Weinreb <DLW at MIT-AI>]

Since it is so unclear what to call it, I suspect people would have a
hard time remembering any name we come up with.  And PUSH is so easy to
write that it seems like you might as well let the user write things
like it if he wants.  (I've been feeling a bit minimalist lately,
generally feeling that we have too many features already that do
somewhat random things.)