Expressive static types and invariant checks for JavaScript. - View it on GitHub