Fixed support for strings, lists, and mutually recursive monomorphic types in Haskell version.
Updates to Haskell package files.