Recognizer for a true list of booleans
The predicate boolean-listp tests whether its argument is a true-listp of objects each or which satisfies booleanp, i.e., is t or nil.
Function: boolean-listp
(defun boolean-listp (lst) (declare (xargs :guard t)) (cond ((atom lst) (eq lst nil)) (t (and (or (eq (car lst) t) (eq (car lst) nil)) (boolean-listp (cdr lst))))))
