Yes, I did not do the paperwork well enough. I'm writing more articles and adding more examples on the website in the following days.

As a brief reply here, it provides the ability to do statical type inference for javascript without writing additional code. With this ability, libraries or editors can perform better on code assistant/suggestion, linting, statical analysis, annotation generation for or not for typescript/flow, and so on.