I would argue TypeScript is much more expressive than C++. Also, most of this complexity is used in type definitions of complex libraries that was designed with

I would argue TypeScript is much more expressive than C++. Also, most of this complexity is used in type definitions of complex libraries that was designed without typing in mind. Now, normal programmers can enjoy the help from IDE of those libraries, without having to write many complex type definitions themselves.