Microsoft's TypeScript 4.0 programming language arrives: It's a big milestone