IDL43 — Additional details needed in definition of maps

Section 7.4.13.4.3.1 defines IDL Maps but doesn't specify:

• Which types may be keys
• If maps need to de-duplicate equivalent entries
• If maps need to preserve order

The most essential of these is the first. It's currently unrestricted but this causes problems for language mappings where some additional operations (like less-than or equal-to) must be defined for these types. In order to prevent different language mappings adding different (conflicting) restrictions, the IDL spec should define this.

One approach to this would be that each building block should define how its types can (or can't) be used in maps. For example: everything in core data types is allowed; interfaces are not allowed; valuetypes are not allowed; etc.