> might it have been the same amount of effort just to introduce some strong types into Javascript itself?

TypeScript exists as a first step to adding types to JS. Some folks are currently trying to figure out a way to add type annotations that the JS engine will just ignore for now based on what we've learned from TS.