It seems to just be Rust for people who are allergic to using Rust.
It looks like a fun project, but I'm not sure what this adds to the point where people would actually use it over C or just going to Rust.
Maybe take the parts of rust the author likes, but still encourages pointers in high level operations?
> what this adds
I guess the point is what is subtracts, instead - answer being the borrow-checker.