VRP

ValueRange-Propagation for to allow more implicit casts
Also, this is gonna happily accept me casting an int to a Object or anything nonsensical like this.

You don't put enough thinking into the failures scenarios.