OpenAPI additionalProperties: modeling maps, dictionaries, labels, and free-form objects without losing types

The word "object" hides three completely different data shapes. A User is a fixed record with known fields. A map of language codes to translations is an object whose keys are arbitrary but whose valu