Module array 

A type-level array of type-level numbers.

It is not very featureful right now, and should be considered a work in progress.

Structs

ATerm

The terminating type for type arrays.

TArr

TArr is 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.