That's exciting! Is there any proposal or rough ideas or musings or anything that might suggest how Xr0 could possibly guarantee data race freedom? Would it b

That's exciting! Is there any proposal or rough ideas or musings or anything that might suggest how Xr0 could possibly guarantee data race freedom? Would it be something like Rust's Send & Sync traits? Or something else entirely?