No one claims that types are a stand in for all unit tests.

They stand in for the banal unit tests.