abi-types
- [ ] Add support for dynamic (`<type>[]`) and fixed (`<type>[M]`) sized arrays of primitive types - [ ] Add validation for `M` in number types (e.g. [`0 < M <= 256`](https://github.com/type-challenges/type-challenges/blob/main/questions/00734-extreme-inc