Implement more constant folding for Naturals
#14465 (closed) has already gone a long way in improving the runtime performance of
Natural numbers. However, we still lack constant folding for these numbers so there is money left on the table.
To fix this you will want to implement rules similar to those for
Integer in the
PrelRules module. Additionally, you will need to comment back in the
CONSTANT_FOLDED pragmas in
GHC.Natural (see D5267)