They have but it's mostly a labor of love and it's very difficult to fit a static type system into a dynamically typed language.

We already have some false positives. Happily the team is very motivated and is grinding away at them, for which we the community are forever grateful.