concrete QualifiedType : Type
DataType * reference base_type;
Qualified types add information about storage, such as
const'' or ``
volatile''. Note that properties of the
storage have no meaning for the value itself; it does not make sense
to talk about a value returned by an add instruction, say, as being
const or volatile.