Remove unused reachability analysis.
Move Erasure back into Idris/.