Root type in the ideal type system. It is the supertype of value and reference. There should be no need to subtype entity directly; in fact, it's unlikely that you'll use this type in your code at all.