This datatype is used by the JSON encoder to describe mappings between actual JSON keys in a JSON file and fields names in a Dana data type. It is usually used when key names in a JSON file are reserved words in the Dana language.