> Type annotations don’t double productivity.

Obviously this post is still firmly in made up statistics land, but i agree with OP, in some cases they absolutely do.

New code written by yourself? No, probably not. But refactoring a hairy old enterprise codebase? Absolutely a 2×, 3× multiplier to productivity / time-to-correctness there.