The proposal describes a couple possible type relaxations. These could be spec'd as automatic conversions. Do we want any of these conversions? They seem nice to have for shader authors.