A programming language that is a minimal subset of Rust