alan-baker

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.

The proposal currently describes trying to find the maximum size used (by a type at least). The goal is to reduce the needed bounds checks. Is there a better way...