VRP

ValueRange-Propagation for to allow more implicit casts
Bailout where you return Invalid instead of returning invalid, and then testing for it, and do something.