Making heist compile with GHC7.7

Commit passes all the test from the suite.