VRP

ValueRange-Propagation for to allow more implicit casts
Get that thing test in and out.