Handle methods correctly in usage analysis.
Use proper method names for class methods.
Revert to using metamethods.
Add instance ctor application analysis.
Fix instance ctor application analysis.
Refactor Compiler.hs.
Remove commented-out dead code.
Comment clarification.
Recognise instance constructors in Compiler.hs.
Use method info to erase stuff in Compiler.hs.
Include local variables in instance ctor applications.
Fix compilation of applied de bruijn vars.
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.