change the whitebracket abstractions in redex

and introduce a horrible hack to deal with what
appears to be far too much whitespace on the sides
of the whitebracket characters