The Blind Spot of Strong Type Proponents

In which we realize that proponents of strong types focus a lot on the mathematical constructs and have a blind spot for the other superpower of code designers: naming.