Actually, I think it would. The problem is not too many types per se, but too many types without a good way of managing them. All a static type system is is a g

Actually, I think it would. The problem is not too many types per se, but too many types without a good way of managing them. All a static type system is is a good way to manage types!