Superset definition: if B is a superset of A, then all elements of A are in B but B contains at least one element that is not in A.

Where are the facts? tell me the features in TS that are not in JS and vice-versa. If there is at least one feature in JS not in TS, maybe TS falling to keep up with the JS specs, by definition, TS is not a superset. How can some one sane argue agains facts?

If TS is no longer a superset is not really important to its adoption. It must solve a problem and not cause unacceptable ones. The code verbose is probably one thing against TS but it seems reasonable to accept it.

I don’t use TS in large projects. Maybe TS is the kind of thing that if you don’t appreciate it until you have it — like smart phones back in the days.