Just for the record -- I did eventually figure out how to put together a complete implementation of the extended table unpack syntax that Gavin proposed a couple years ago:
Sorry -- this unclear. Here's a link to the old email thread. I never did get (<namelist> in <expr>) working as a general _expression_ list -- what I did do was to allow (<namelist> in <expr>) to be used as a replacement for a function argument list. Which, actually, is an *incomplete* version of the patch Xavier had originally proposed :-P