"having language- level semantic information helps a lot for dealing with complex data structures."

Yes that's what I'm thinking - much of the current stuff seems to be trying to guess what the code is doing from a low level (eg branch prediction) whereas the language itself could tell.