Richard Suchenwirth 2007-09-28 - Since Tcl 8.5 gives us the apply command, it is possible to remodel part (or even all?) of the proc functionality in its terms, in a devilish cascade of interp alias and apply:
interp alias {} proc {} \ apply {{name argl body} {interp alias {} $name {} apply [list $argl $body]}}
We define an alias named proc, which overrides the built-in command, to apply to a {name argl body} triplet a codelet that defines an alias name to apply to the argl the body. Whew...
Testing (should print 49, did for me):
proc square x {expr {$x**2}} puts [square 7]