Object Types match objects.

There is one builtin Object Type: "object" which is the direct base type of all other Object Types.

An Object Type can be defined by restricting the value space of "object" by specifying a layout (type of the pairs, optional or not, ...). A restriction can also be made with the general Types facets $enumeration and $constraints.