Has some kind of partial generic been considered?
If [Int] means Array<Int> then [Int]<5> can mean InlineArray<5, Int>.
The by keyword could be used to sugar multi-dimension:
let fiveByFive: [Int]<5 by 5>
or just , if we don't want to introduce a keyword:
let fiveByFive: [Int]<5, 5>