typely

Lightweight (meaning relatively fast) type-checking in CoffeeScript.