Require postulate unreachability instead of collapsibility.
Fix usage for __MkPair.
Fix usage in reg025.
Add --nowarnreach to two tests.
Fix a mismerge.
Fix case-tree projection transformation.
Don't prune improjectible case-trees.
Fix laziness in Compiler.hs.
Make --nowarnreach the default (for now).
Improve comments.
Remove collapsibility and forceability altogether.
Remove some dead code.
Fix case-inspection of lazy values.
Move forcing to Compiler.hs.
Improve indentation of LExp.
Even prettier printing of LExps.
Add idris_postulates to IBC.
Remove debug printouts.
Improve reporting of reachable postulates.
Reformat prune.