Whats the difference between a type conversion and a qualifier?
Use a qualifier (tick) to tell the compiler what type it can expect; this is strictly a compile-time issue: a qualifier “hints” the type, usually to remove an ambiguity. Use a conversion to tell the compiler to convert an expression from one type to another (usually within one derivation hierarchy); this operation may require a change of representation at run-time (e.g. in case of a representation clause applying exclusively to the source type).
