Some cleanup in Erasure.hs.