Wow, this is great. This is exactly the sort of language people insisting on C for systems programming need. It is basically the same language, but with a few bounds checks inserted by the compiler that eliminate almost all problems with C.
I hope this gains some traction amongst the large open-source C applications. (Things like emacs, xmms2, etc.)