Ещё типы это контракты, может штука определенным образом работать/иметь определенный интерфейс - ура типизация
Ну вот, типы это уже контракты. Если типы — это просто все хорошее, то, конечно, это и контракты, и спецификации, и метаязыки, и модели, и метамодели... :)