Add puremap to the set of versions benchmarked
Add ghc-options for hm-typing cabal file