Used internally by the type system; should never be written by a programmer.
Indicates that the value assigned to the annotated variable is not known to be a key for any
map. It is the top type qualifier in the KeyFor hierarchy. It is also the default type
qualifier.