(case (car type)
(:list (format nil "(~{~(~A~)~^ ~})" (mapcar #'cadr (cadr type))))
(:or (format nil "~{~(~A~)~^ | ~}" (mapcar #'cadr (cadr type))))
(case (car type)
(:list (format nil "(~{~(~A~)~^ ~})" (mapcar #'cadr (cadr type))))
(:or (format nil "~{~(~A~)~^ | ~}" (mapcar #'cadr (cadr type))))