The keyword INSTANTIABLE indicates that instances can be created for this type. If
NOT INSTANTIABLE had been specified, we would not be able to create instances
of this type, only from one of its subtypes. The keyword NOT FINAL indicates that we
can create subtypes of this user-defined type. We discuss the clause REF IS SYSTEM
GENERATED in Section 28.4.6.