Type inference and checking for a safer JavaScript. - View it on GitHub