type-tests