Returns a procedure that returns the boolean inverse of PROC.
(complement PROC) <=> (lambda (x) (not (PROC x)))