What is the "right way"to define optional arguments in @defproc statements? I have been using (optional ...) so far.