Sound Mode: Can TypeScript Type Checking Be Stricter?

The point about stricter type systems becoming more practical because AI can iterate against compiler feedback loops is really interesting.

I love this, I wish this was in TypeScript out of the box