Has some interesting ideas. I suppose it all depends on what kind of programming you do.
Perhaps an alternative would be a tiny thin language that hides the data type to library massaging.
Having to "import os" in python, is an example of why these "modern" languages are stuck in the 70's or 80's etc.
None the less, make me think about the pre-compile vs soft-dynamic languages.