docs typos
change the meaning of the #:enum argument to redex-check

Thanks to Neil Toronto for suggesting how to do this!