fixed Proper.cabal and test/Main.hs so that tests execute correctly