Slight refactor in documentation

Replaced uses of @code{...} with @racket[...]