Improve constant folding for and/or
GHC has a constant folding rule
(e .&. v) .&. v ~~> e .&. v
added in !6167 (closed).
This rule will not simplify (e .&. 0xFA) .&. 0xAF
to e .&. 0xAA
. This should be doable by code analogous to https://gitlab.haskell.org/ghc/ghc/-/blob/9b719549fda563fb80b197fb47d9e508c7989d2d/compiler/GHC/Core/Opt/ConstantFold.hs#L2728.