Our Vision for the Rust Specification