VRP

ValueRange-Propagation for to allow more implicit casts
my implementation needs a fix :-)
I'm on it