Simplifier: Make use of inferred type if available

[PhilippvK]

This would allow for optimizations like this:

((expr > 32) ? a : b) => b, if expr.inferred_width <= 5