Homogeneous tuples

It was approved as SE-0283, but ran into some implementation issues that caused it to be backed out: Implementation issues with SE-0283 (Tuples are EHC)