TYPE_TUPLE
The types of the leading elements of tuples that conform to this type. This is reduced at construction time to the minimum size of tuple that covers the same range. For example, if the last element of this tuple equals the DEFAULT_TYPE then this tuple will be shortened by one.