Bounded coefficient simplification rules

This internal rule packet is consumed by the checked coefficient shards for OrderSevenBacktrackingResultantRecurrence5LookupScalar1ExceptionalPart1. It keeps generated convolution proofs on their bounded simp set.