Cool but sometimes knives and guns and stuff
Ok so if you wanted to have an operating system where everything has a data type, you'd need to have a file system which also supports structured data.
It would be nice to have it "build up" rather than having to say up front what exactly the type is.
There's a bit of prior art here. In lisp for example, nil is the empty list, so you can cons anything to nil and you have that as a list. Let me spend some time learning lisp...