I know that the Google Closure Compiler does type checking—but are there any alternatives, preferably that aren\'t so tightly coupled with a library and optimizer?
If no
There's Doctor JS, which is a Mozilla project that primarily (as I understand it, at least) does type-checking for JS.