predicate which returns true, if list has exactly one element
(defun single (lst) "predicate which returns true, if list has exactly one element" (and (consp lst) (not (cdr lst))))