Just to completely hijack this whole thought... Bjarne S. has pitched 'smart references' as a library feature for C++, for the fourth time. Smart references req

Just to completely hijack this whole thought... Bjarne S. has pitched 'smart references' as a library feature for C++, for the fourth time. Smart references require adding overload capability for operator.. It seems that by adding operator;, operator if, operator for, etc., we could use Veldhuizen-style expression-templates to have a two-stage macro-system in C++. Obviously, a two-stage macro-system is not as capable as fully general macro system. However, it seems to me that we get the most bang for the buck from the first lift, and lifts above the first are not as common. Although, my use of Lisp-like macros is very limited—perhaps I'm just wrong?