Помогите пожалуйста переделать синтаксис MuLisp в Comon Lisp (проверка длины списка)

(defun nel '(x n) 
    (cond ((eq n 0) 
              (cond ((eq x nil) T) 
              (T nil))) 
              ((eq x nil) nil) 
              (T (nel (cdr x) (- n 1)]

(defun nel (x n) 
   (cond ((eq n 0) 
          (cond ((eq x nil) T) 
                (T nil))) 
         ((eq x nil) nil)
         (T (nel (cdr x) (- n 1)))))
 
==> NEL
 
(nel '(1 2 3) 3)
==> T
 
(nel '(1 2 3) 2)
==> NIL
 
(nel '(1 2 3) 4)
==> NIL

(defun xct (w n)
  (cond ((null w) (if (zerop n) t nil))
        ((xct (cdr w) (1- n)))))
 
> (xct '(1 2) 2)
T

(defun xct (w n)
  (if w (xct (cdr w) (1- n))
      (if (zerop n) t nil)))
 
> (xct '(1 2) 2)
T

(defun xct (w n)
  (if w (xct (cdr w) (1- n))
      (when (zerop n) t)))
 
> (xct '(1 2) 2)
T

(defun xct (w n)
  (cond (w (xct (cdr w) (1- n)))
        ((zerop n))))
 
> (xct '(1 2) 2)
T

(defun xct (w n)
  (= (loop for a in w count a) n))
 
> (xct '(1 2) 2)
T

(defun xct (w n) (= (length w) n))
 
> (xct '(1 2) 2)
T

(defun xct (w n)
  (= (count-if #'identity w) n))
 
> (xct '(1 2) 2)
T