Add (++)/literal rule

When we derive the Show instance of the big record in #16577, I get the following compilation times with -O:

• Before: 0.91s
• After: 0.77s