removed unnecessary files
small refactoring in Unification.hs
project files updated