Revert "Give appropriate inferred names to `big-bang' clause RHSs."
Revert "Give appropriate inferred names to `big-bang' clause RHSs."

This reverts commit 5c95e8d46dbe0f6e7064722b2c056d08a126eaf1 which was accidentally committed.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket