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