Fix bracketing problem with \o (again!)
Compare recursively when assessing collapsibility.
Fix conj-disj in collapsibility check.
Extend forceability over recursive arguments to constructors.
Fix the `known' predicate.
Use previously forced arguments in new iterations.
Cleanup.
Fix forceable arg union at constructor targets.
Express forceability more concisely.
Fix disjointness check.
Intercommit (absolutely not working).
Intercommit.
Use a ForceMap instead of a list.
Fix an inexhaustive pattern.
Fix a bug, port to new codebase.
Temporary stuff.
Do actual work in Binary instances.
Extend forceability over guarded indices of recursive datatype occurrences.
applyReconstruction plugged in the pipeline.
reconstructCollapsed inserted hopefully at the right point.