type-checkup