Fix coverage.
Fix coverage again, add comment.
Add prim_fork to primitives.
Some cleanup in Erasure.hs.
Move erasure to IRTS.
Add ErasedArg to PiOpts.
Add accessibility recognition.
Add an "inaccessible" field to OptData.
Remove unused reachability analysis.
Move Erasure back into Idris/.
Run erasure analysis even when not compiling.
Don't analyse programs without main.
Fix ignored main.
Add checkAccessibility stub.
Add a basic reachability check.
Improve error messages of the erasure checker.
Erasure check errmsg briefer.
Report names in accessibility check.
Respect accessibility in case tree elaboration.
Add accessibility to data constructors.