I have a dream...

I have a dream that one day, serious programming language theoriticians, which would gather and realize that LaTeX has done a great job but is basically just a pile of rewriting rules built on top of postscript.

I have a dream that one day, one would get the fundings and rewrite from scratch a new language.

A language with a clear syntax for describing the beautification constraints.

A language which would also be flexible enough to be able to override those constraints.

A language that would allow to write mathematic formula, macros and other tools without arcane tricks and hacks to obtain the required rending....

And much more...