> Why isn't there a building-block type server OS we do the same thing?
Because everything is built on Unix as an OS abstraction. Even Windows (since the early 2000s).
Consider: byte streams and file systems are less than ideal fundamental abstractions in a distributed world.
IMO we won't have what you're seeking until we rethink what an OS should be in an Internet-everywhere world. We're still using OS designs that predate the Internet entirely.