Type-testing Packages