You make an interesting point about types, but > (2) in terms of macros, anything more complicated than lazy evaluation of thunks and kiddie examples is out of

You make an interesting point about types, but > (2) in terms of macros, anything more complicated than lazy evaluation of thunks and kiddie examples is out of reach I've seen and built tons of exotic stuff with macros. On Lisp builds a Prolog compiler if you want a specific example. Your point about types makes me curious about LINQ. Brings to mind Julia's generated functions.