Implement n3584 - Addressing Tuples by Type