Checkpoint work on the any() operator.  See #28 and #57.