Imaging the capabilities of TeX with a good programming language.
I don't find WEB beautiful. In my opinion, literate programming (at least in this case) is a pretext to hide a terrible, unexpressive programming language.
As you're saying, Emacs had the good taste to use a Lisp back in those days, so it really is a pity that TeX didn't.