Remove an outdated file
Renamer pass to pretty print identifiers without GHC uniques
Print properties representation in {- -}