Microsoft had a lot to gain out of the deal, too.
The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...