I'm in a very privileged position at the moment: I just asked Alan Kay what he thinks of letting the receiver of a message choose how/when/if the message's arguments are evaluated. He's strongly in favour and said that some Lisps had FEXPR variants that worked the same way (controlling evaluation with sane scoping) and it's a shame that macros as we know them won out in Common Lisp. He suggesting rereading what The Early History of Smalltalk
has to say about Smalltalk-72, his personal favourite of the Smalltalk family.
Takashi Yamamiya dug up a copy of a Smalltalk-72 implementation on top of Squeak
for me too.
Great working environment hereabouts :-)