> Is there a way now to define a slice-based type that enforces strict typing of its index

Nope, no way to do that.

I wonder about ergonomics. I can imagine "academic" usage, but I shudder at the perspective of the impact on a typical CRUD app.