Types on top of JavaScript, from annotations to the narrowing that makes the compiler useful rather than noisy.