I doubt you're able to catch all edge cases even in your own program (in an economically viable way), but great for you if that works for that use case.

However, if we're talking about the TypeScript compiler, the complexity required to ensure end-to-end runtime type soundness is orders of magnitude greater than sprinkling a bunch of isString checks here and there.