VRP

ValueRange-Propagation for to allow more implicit casts
That is deliberate.
The checks in the caster make sure only Builtin-types are used.