The failure object: to distinguish bona-fide solutions to a CSP that are #f.
(define failure (make-failure))