I think yes, we should ban signed/unsigned conversions, but I also think implicit conversions when VRP has validated all the values are representable is fine (e.g. `ubyte` should implicitly convert to `short` or `int`). This should cut down on the false positives. -Steve