Ivan requested this feature. We can do it, but it will require adding new value-types to the compiler for tuples. Those have to be plumbed all the way through then.
gilbo
