Split the types and type predicates into their own namespace.