It seems to me like all the grammar calls these type parameters or something to that effect. This at least to me seems inconsistent, I'm curious as to why the name __type_variables__ was chosen compared to __type_parameters__ for the tuple of active TypeVarLikes.