Will make use of the fixed-size Abelian type defined in Boba.Core 1. Iterable in `for` loops 2. Special syntax for creating with compile-time known size 3. Primitive functions for accessing/setting elements while maintaining uniqueness