Type-predicate Packages