I think "types" are just compile-time unit-tests. But unlike conventional "unit-tests" they also apply inside the code, not just on its externally observable c

I think "types" are just compile-time unit-tests. But unlike conventional "unit-tests" they also apply inside the code, not just on its externally observable call-boundary. So perhaps more appropriately then types are "reusable assertions".