[Second review] SE-0453: Vector, a fixed size array

[Pippin (Ethan Pippin)]

@pasi

For String we have StaticString

Static_ defines an entirely different construct in the language as has been previously pointed out.

Vector, a fixed-size array

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