Comment by yencabulator

You might enjoy reading about Ethos's Etypes. My understanding is that they punted a bit and their design still has byte streams, but the operating system provides helpers to parse them and injects filters to guarantee well-formed input/output, including over the network. They failed to produce anything but papers, but the papers are interesting.

https://www.ethos-os.org/~solworth/petullo14ethosTypes-20140...

https://www.ethos-os.org/