Added Observability
orElse
Introduce Observers in type class methods and provide an observer-ready runProofO
Derive a Typeable instance for Problem
lfpBounded strategy

Shouldn't be needed if breadth-first search is used to explore the lazily constructed proof tree
removeIdem: use Eq equality now that SomeInfo supports it
Pruning proofs, aka hash consing
NOTE: I still haven't found a successful use case for this. The current implementation is expensive, and so far there is no example where it saves any actual work, there is not enough duplication going on in your average proof. I should find the time to construct an example where it does
Fix the profiling build
Added unchecked versions of Problem.setP/setR
These are meta versions, needed during the construction of a DP problem,
Added new dependencies, remove some orphan instances, and improved lfpBounded
.gitignore
Improvements to lfp
Follow changes in hoed and hoed-extras