This avoids having those predefined types, which are optional, be in the
middle of the core types.