I can't help feeling that this is a syntax looking for a set of
solutions to apply itself to. It will add enormous complexity
(together, no doubt, with speed issues and backwards-compatibility
issues) to the language, and I'm not sure that I see the gain, yet.
I'm obviously missing something.