Right. It's a structural type system that automagically puns things at runtime. The "most robust type system", I would think, would be something like Haskell.