remove old files Infer.hs, Types.hs