A final proposal for Rust await syntax