nir/range-analysis: Use types to provide better ranges from bcsel and mov