Alias to the type selected by t_SWITCH_SELECTOR, or Nil.
This Type is an alias to the parameterized TN, where N is the integral value of the parameterized t_SWITCH_SELECTOR. Note that the first type in the list corresponds to t_T0, not t_T1.