A new programming language trying to eventually be like a dependently typed Rust