excludedTypes

The set of types that are specifically excluded. A value that satisfies one of these types does not satisfy this type restriction. For the purpose of canonicalization, these types are all proper subtypes of the restriction's type.