proper-listp

(defun proper-listp (l) (or (null l) (and (consp l)

(proper-listp (cdr l)))))