If Knuth/Lamport/anyone else had created a typesetting system with the flexibility and power of TeX, using everything we have learned about computation and programming languages in the last 35 years, in what ways would it differ from TeX?
(Note that I'm asking what differences would exist from a user's perspective, rather than in the source code itself.)