I think inventing typesetting languages that compile to TeX might partially solve the problem and make the whole typesetting experience more pleasant, since TeX is already a capable typesetting system, and has a rich ecosystem, and TeX engines are already capable of producing high-quality documents, but the hard part is writing TeX documents. So what haml is to HTML, or say CoffeScript to javascript, a new language could be to TeX.

so inventing new, easier to use typesetting languages that use TeX as an underlying system might be a good solution..