feat: add `Nat.[shiftLeft_or_distrib`, shiftLeft_xor_distrib`, shiftLeft_and_distrib`, `testBit_mul_two_pow`, `testBit_mul_two_pow_gt`, `testBit_mul_two_pow_le`, `bitwise_mul_two_pow`, `shiftLeft_bitwise_distrib]` · leanprover/lean4@43f82c4