Define and implement Map and Set types

[gunnar-mb]

It has already been anticipated (and mentioned in some places) that Map and Set types are desirable to be built-in basic types (but of course, like array, they are parameterized with the internal type(s) that is stored in the data structure.

This ticket is to track that the types are fully documented and implemented.