Towards a Complete Formal Semantics of Rust