Dynamic typing, yay.

Is there a core.typed optional type system for javascript?