map
Answer the union of the kinds of each value in this bin. A value's exact type is always an instance type (an enumeration type of size 1), and the value's kind is the nearest supertype of that instance type that isn't itself an enumeration type.
If a value is itself a type, the resulting kind is an instance metatype.
Return
The union of the values' kinds.