English is not a programming language. And anyway English does have a load of extra stuff to indicate the "types" of things. For example proper nouns are capitalised, plurals get different quantifiers, adverbs get a "ly" suffix.

I think Latin is even more of a "typed" language.

But anyway that is really irrelevant because it's not programming.

> But thats not because the advancement there is in the domain of programming languages.

Well, no because static typing is ancient.