Parsing is space-sensitive in many places, e.g.
a (b+c) versus a(b+c)
and this also shows that arguments have round parenthesis. In general, LaTeX is simply not enough to determine what you really mean, you need to have some additional guidance.
I agree though, in principle, that there may be things that are not optimal. Maybe one day when all urgent issues are off the table I can go back and look at this, but at the moment there are more pressing things to worry about ;-)