Type predicates Packages