VRP

ValueRange-Propagation for to allow more implicit casts
No I won't.
an Object has no ValueRange!
The ValueRangeVisitor will return ValueRange.init.
And ValueRange.init never allows any cast to go through!