[plt-dev] scribble support for HtDP-style data definitions?

Is there a good way to typeset HtDP-style data definitions in
Scribble? I've just been doing this:

@verbatim[#<<---
;; a state is either:
;;   - 'playing
;;   - 'cat-won
;;   - 'cat-lost
---
]

@verbatim[#<<---
;; a board is
;;  (listof cell)
---
]

@verbatim[#<<---
;; a cell is
;; (make-cell (make-posn int[0-board-size]
;;                       int[0-board-size])
;;            boolean)
---
]

Robby