This proposal has a lot of open questions that could dramatically change the outcome, but I think this is a very interesting proposal to enable higher-level languages to communicate without needing to resort to the C ABI.