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.
Use dots to join pretty-printed LCases.
Improve --dumpcases.
Reformulate decEq for Vect.
Support certain ProjCase's in usage analysis.
Exact name lookups in getArity.