In SubTupleRebuilder, the SubtypeRebuilders for rebuilding Tuple elements should have constrained generic types.
Ideally, one should use the element type E but it is not trivially possible because of generic constraints on Rebuilders. This point must be invertigated.