[Kernel][Types] Restrict allowed member types in `MapType` and `ArrayType`

[lbhm]

Kernel currently allows arbitrary data types inside MapType and ArrayType. We should discuss whether and how we want to restrict the allowed member types.

This is a non-exhaustive list of scenarios that we might want to forbid:

• Metadata columns in mapKey, mapValue, or arrayElement. We only allow metadata columns at the top-level. This verification is currently performed in StructType, but could be delegated to MapType and ArrayType.
• Non-hashable data types in MapData.