That's a little bit interesting. It remains then a C-like language with generics, and that sounds a lot more fun than regular C. I don't yet understand the point of avoiding references or libstd, though.

Avoiding references means avoiding the borrow checker, and I don't think you can use much of stdlib if you avoid references...