Your first sentence doesn't answer any question. The second is irrelevant. Please make some concrete suggestions.
There seems little value in "exposing" crap we would be better off not building in the first place.
The more expressive your language is, the less the runtime and hardware needs to guess about.
So what are the $%^&* semantics we're supposed to build into the language to avoid the need for speculation via OOO exec and branch prediction. Because as a guy interested in languages you might have something to teach me, assuming you have any idea what you're talking about.
But they are thoroughly ingrained into the technology, and will not easily be rooted out.