An extremely lightweight type checking system for JavaScript