redex-etc (racket): Miscellanea for Redex.
Keywords: redex