Typos, (error -> fail) where possible, cabal file update