The schemas are a set of `types`, each associated with a set of properties.