Jonathan proposes:
(LAMBDA (A B . R)
(OPTIONAL ((X 1) (Y (+ X 5))) R
-body-))
As one of the sad, major forces behind Common Lisp, I'm glad to
see that Common Lisp doesn't have a monopoly on bad taste.
The only palletable line in this code reads:
-body-))
-rpg-