Lars =?iso-8859-1?Q?Hellstr=F6m?= writes:
 > My suggestion is rather that the current set of math symbol
 > commands should be made into this layer (hence some commands which
 > now produce different results would then by default produce
 > identical results).

Could you define the _problem_ you are trying to solve?  (If you think
the problem is that people write unreadable math papers, I tend to
agree, but there is not much that LaTeX could do about that...)