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