A type-level array of type-level numbers.
It is not very featureful right now, and should be considered a work in progress.
- The terminating type for type arrays.
TArris a type that acts as an array of types. It is defined similarly to
UInt, only its values can be more than bits, and it is designed to act as an array. So you can only add two if they have the same number of elements, for example.