qq.l

(de qq Args
   (if (== Args NIL)
      # `() -> NIL
      NIL
      # else, Args is a single-element list, extract body forms
      (setq Body (car Args))
      (if (not (lst? Body))
         # `atom -> atom               
         Body
         # else Body is a list that we must unpack
         (let (Head (car Body) 
               Rest (cdr Body) )
            (if (== Rest NIL)
               (cons Head)
               # else, start constructing a list
               (if (== Head '!)
                  # unquote!
                  (eval Rest)
                  # pop one item from list and recurse
                  (list Head (eval (cons 'qq Rest))) ) ) ) ) ) )