A type-checking library in CoffeeScript.