I always had the hope that Lout[0] would take over LaTeX: very clean & reasonably small implementation, functional programming instead of macros. I guess it's just hard to move against the inertia that (La)TeX carries.
I am still fond of the Scribe[1]-like syntax, but then again, I also liked it in Texinfo or Borland Sprint.