[Guvante]

He isn't talking about comprehensibility but instead analyzeability. For instance a type system normally improves comprehensibility but sometimes can require rewriting your algorithm in a less clear way, reducing how easy it is to understand. In contract it always improves analyzeability as you can say more about the program without going into details.