That was a really nice read and I can definitely see the benefits you listed after dabbling with TypeScript for a little bit. I think you might find ReScript intriguing for the same reasons, however, the first two reasons feel supercharged in it when compared to TypeScript.