concrete QualifiedType : Type
Type * reference base_type; # may be qualified or unqualified
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.