On the contrary, many of the new TS features over the last year or more have been around making type inference smarter and allowing for less explicit typing
Yep! Or making type checking safer (this list is enormous), or better aligning TS specifics with how JS is actually used (upcoming 5.0 getting import specifiers more or less right as a great example).