Erase unused case-branches.

Conflicts:
	src/Idris/Erasure.hs