Tobias Reiher

- [ ] Use `Index`/`Length` for all parameters instead of `Bit_Index`/`Bit_Length` (in `Initialize` procedures) - At some point we decided to only allow byte-aligned bounds, so there is no need...

### Motivation - Ensure consistent formatting of specifications without manual effort