; reverses nested list L
(defun ReverseFull (L)
  (cond ((null L) L)
    ((atom L) L)
    (t (append (ReverseFull (rest L)) (list (ReverseFull (first L)))))
  )
)