A precise specification for "Rust lite / MIR plus" - View it on GitHub