Maybe some day if I find the time I'd like to make a Singularity style single address space OS with GraalVM, except with a fully garbage collected unified heap. In the past it wasn't feasible for a bunch of reasons but I think they're solvable now.
If you have that then so much overhead can disappear, and you can design such better APIs.