Excellent, that's precisely the thing I was looking for! Thank you! I see that there are some tricky issues that would have to be solved with regards to ergonomy, even with an imagined subset of Rust.