Elna

A new type qualifier volatile should be introduced.

constant_type should be generalized to qualified_type which contains a bit field with qualifies. When reading const volatile T if a qualifier is already set, the code should be rejected, the same as const const T is rejected today, so volatile const volatile T is not valid, and volatile const T and const volatile T are the same types.

Assignment and comparison rules are the same as for const.