That's really cool! I'm a fan of all three of those things (Clojure syntax, ML types, and Rust memory management).
Although it's intended to be low level, one concern I have is that it's missing some kind of extension system (such as typeclasses, first class ML modules, Rust traits, etc.)
Even static function overloading (like in C++) could work.
