This file contains list functions and theorems involving the
booleans. These include the boolean valued test
for nil, test for membership give a boolean-valued
equality over the type of elements of the list, list
subtraction, universal and existential extensions
of a predicate to a list of values.