Vector, a fixed-size array

[xwu (Xiaodi Wu)]

Note: the pitched type is not static in the sense of StaticString or StaticBigInt.