Draconian type checker for JavaScript functions