I think your pros read as pros against TypeScript, when many of them apply both tools.