Module value 

Structs

VariantData

VariantData: Composite values (sum types)

Enums

MapKey

MapKey: Hashable subset of Value for use as map keys

Value

Value: What the language talks about