The unique object that represents the type with no instances.
The meta-type with exactly one instance, bottom.