I have spent a lot of time thinking about this as well, a great piece of research really.
The question, though, is how do you improve the situation? How do you create a language that is at least more intuitive than a random one? I wonder if it is even worth doing? Will languages simply default to being like this because of the demands of the logic structures beneath them?