more options for `size`

[nsajko]

1. Perhaps add a new struct StaticSizeArray which would have size as a type parameter instead of a field.

2. Perhaps parameterize FixedSizeArray by the element type of the size field. I'm not sure how likely this is to be useful, but I know that GPU programs tend to avoid 64-bit values, so perhaps this would be a desired next step after support GenericMemory by making the storage type a parameter #52.

[Tokazama]

If I understand the current design correctly. A FixedSizeVector based on Memory still requires a an integer for the size even though it already stores that information. It would be nice if 1-dimensional arrays could just use the already stored size information.