> It's part of my eternal quest to find the memory safety holy grail: something as powerful as Rust's borrow checking, yet something as simple and flexible as reference counting or garbage collection.

I'm definitely hoping you succeed. I'd love to be able to write a small language (maybe that didn't do absolutely every last thing you can do in Rust, but was ergonomic and easy to use) that had a borrow checker and didn't require writing a nuclear reactor.