* introduce explicit type for tracking test results
  This is in preparation for adding a new constructor to
  track "untestable" results.
Fine.
  * introduce an explicit type to express the result of a strategy
  This is a bit of a brute-force/dumb refactoring to begin with.
I like it. Factoring this out from the later changes eases review.
  * rename BisectState to BisectProgress
Fine, new name is more specific. 
    
    |