Characteristic predicate PrimitiveType :: PrimitiveType