No I haven't seen that, that looks pretty cool. It looks like a good middle ground between static types and core.typed.

I don't like core.typed because what little research I've done shows that it actually becomes more verbose than java in some cases. That really seems like a step backwards.