I would dispute that, but I guess it depends on one's workflow. Different workflows work better with different kinds of type systems.