Bounded coefficient simplification rules

This internal rule packet is consumed by the bounded convolution proof in OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart4. It keeps generated convolution proofs on their bounded simp set.