A language that compiles into TeX would be fine. However, there is a huge danger that the abstraction isn't robust, and everyone would just need to keep "openi

A language that compiles into TeX would be fine. However, there is a huge danger that the abstraction isn't robust, and everyone would just need to keep "opening up the hood" to fix things in the original TeX, and then things are worse than they started.