separated Str package. Updated cabal. Fixed type errors