I was just pointing out a contrast. For instance, in Tcl you can do something like:
set x 1+2
set y [expr 3*$x]
And y == 5, because [expr 3*$x] expands to [expr 3*1+2]. Crazy stuff. Useful? Not at all. A pain for compiler writers? Indeed. So sometimes you can get the worst of both worlds, a form of generality that no one wants, but somehow can't be eliminated.
(Of course, none of us are really disagreeing on anything here, just to clear that up)