These changes enforce a strict "narrowing"-only conversion policy; i.e. `Type`s
can be converted to equal or more specific types.