Restrict signature of the `Ordinary*` AOs

[nicolo-ribaudo]

All the Ordinary* MOP-related AOs (e.g. OrdinaryGetPrototypeOf) are typed as taking "an Object", however some of them assume that the object has the same internal slots as an ordinary object:

• OrdinaryGetPrototypeOf
• OrdinarySetPrototypeOf
• OrdinaryIsExtensible
• OrdinaryPreventExtensions

While others can actually be called on arbitrary objects:

• OrdinaryGetOwnProperty
• OrdinaryDefineOwnProperty
• OrdinaryHasProperty
• OrdinaryGet
• OrdinarySet
• OrdinaryDelete
• OrdinaryOwnPropertyKeys

It might be worth updating the type of the first group to say that they cannot be used on arbitrary exotic objects (while the second group can). However, their type cannot be restricted to "an ordinary object", because the for example work (and are used) with TypedArray exotic objects.

[ljharb]

What slots are on ordinary objects and not on exotic objects?

[nicolo-ribaudo]

[[Prototype]] and [[Extensible]] are only required on ordinary objects, and for example module namespaces have neither (see steps 6 and 7 in https://tc39.es/ecma262/#sec-makebasicobject).