Type checking for JavaScript