Type-predicates Packages