From subtypes to supertypes.
Between numeric types (xs:decimal to xs:double, etc.)
Computing effective boolean values
From “untyped” values
