[ellroy]

Yes, I'm not worried about it. I've not been following it as closely as I'd like, but from what I've read the core team seems to be taking a very measured incremental approach with the type system.

[sodapopcan]

Yep! It's leveraging pattern-matching and guards as well as looking at code itself for inference.