Embedded Scheme for the Rust Ecosystem