The type name that identifies an atomic value with no known type.
The type name that identifies any value (simple or complex) with no known type.
The supertype of all atomic types.