nuking refs to FileNames
removed FileNames can delete file...
removed FileNames can delete file...
about to nuke Fixpoint.hs
temp checkin
temp checkin to work elsewhere