`Arith_Op` already declares the `ElementwiseMappable` traits, so they don't have to be declared for `arith.select`.