A type checking framework for Javascript.