A family of type systems for JavaScript - View it on GitHub