Zap `DMdA-' from primitive procedures in DMdA.
Zap `DMdA-' from primitive procedures in DMdA.

Meaning the the procedure names are displayed without the "DMdA-"
prefix in the stepper and the REPL.

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