This is very true, but "helping you realize you are doing something unintended" works just as well with a string as with a symbol.

Agreed, for instance in our codebase we just make all type assertions a lint error demanding a justification, as well as flat out banning the any type. But anyone is free to write shoddy TypeScript.