Did people in the C community consider your proposal?
But anyway, you can use D in BetterC mode and have bounds checked slices!
(Jonathan Blow: Ideas about a new programming language for games.) https://www.youtube.com/watch?v=TH9VCN6UkyQ&list=PLmV5I2fxai...
When a language owns the platform its quality comes second.