Answer whether this type is ⊥ (BottomTypeDescriptor), the most specific type.
Whether the type is bottom.