Array Types match arrays.

There is one builtin topmost Array Type "array".

An Array Type can be defined by restricting the value space of "array" by specifying a layout (type of the members) or size bounds. A restriction can also be made with the general Types facets $enumeration and $constraints.