nir/algebraic: add distributive rules for ior/iand