I would be happy with something better than the C ABI even if it doesn't support everything in Rust on day one.

I think there's some work on that, getting at least slice and trait object ABIs that you can use in DSO interfaces.

Same.