Speaking as someone who (in some small way) helps with compiler dev, while a lot these ideas sound pretty cool, I can pretty comfortably say that these ideas would make compiler engineering even harder! (though I'd love to be proven wrong by some brave soul)