diff --git a/CSPM-Frontend.cabal b/CSPM-Frontend.cabal
--- a/CSPM-Frontend.cabal
+++ b/CSPM-Frontend.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-Frontend
-Version:             0.10.0.0
+Version:             0.12.1.0
 
 Synopsis:            A CSP-M parser compatible with FDR-2.91
 
@@ -13,31 +13,34 @@
 License:             BSD3
 category:            Language,Formal Methods,Concurrency
 License-File:        LICENSE
-Author:              Marc Fontaine 2007 - 2014
+Author:              Marc Fontaine 2007 - 2017
 Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz
 Stability:           maintained
-Tested-With:         GHC == 7.8.3
-
-cabal-Version:       >= 1.20
+Tested-With:         GHC == 8.2.1
+cabal-Version:       >= 1.24
 build-type: Simple
+Extra-Source-Files:  README.md
+                    
+Source-Repository head
+  type:     git
+  location: git://github.com/MarcFontaine/cspm
 
 library
   Build-Depends:
     base >=4.0 && < 5.0
     ,containers >= 0.5 && < 0.6
     ,array >= 0.5 && < 0.6
-    ,parsec2 >= 1.0.0 && < 1.1.0
+    ,parsec >= 3.1.11 && < 3.2
     ,prettyclass >= 1.0 && < 1.1
-    ,mtl >= 2.1 && < 2.2
-    ,either >= 4.3 && < 4.4
-    ,transformers >= 0.3
-    ,dlist >= 0.7 && < 0.8
-    ,syb
-    ,ghc-prim >=0.3 && < 0.4
+    ,mtl >= 2.2 && < 2.3
+    ,either >= 4.3 && < 4.5
+    ,transformers >= 0.5 && < 0.6
+    ,dlist >=0.7 && < 0.9
+    ,syb >= 0.7 && < 0.8
+
   Default-Language: Haskell2010
   Other-Extensions:
      DeriveDataTypeable
---     ,DeriveGeneric
   GHC-Options: -funbox-strict-fields -O2 -Wall
   Hs-Source-Dirs:       src
   Exposed-modules:
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) Marc Fontaine 2007-2011
+Copyright (c) Marc Fontaine 2007-2017
 
 All rights reserved.
 
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+# CSPM-Frontend
+
+CSP-M is the machine readable syntax of CSP (concurrent sequential processes)
+as used by the formal methods tools FDR, Probe and ProB.
+This Package contains functions for lexing, parsing, renaming and pretty-printing
+CSP-M specifications.
+The parser is (almost) 100% compatible with the FDR-2.91 parser.
+
+## [Haddock documentation](http://hackage.haskell.org/package/CSPM-Frontend)
diff --git a/src/Language/CSPM/Rename.hs b/src/Language/CSPM/Rename.hs
--- a/src/Language/CSPM/Rename.hs
+++ b/src/Language/CSPM/Rename.hs
@@ -48,8 +48,8 @@
 
 instance Data FromRenaming
   where
-    gunfold = error "instance Data FromRenaming gunfold"
-    toConstr = error "instance Data FromRenaming toConstr"
+    gunfold _ _ _ = error "instance Data FromRenaming gunfold"
+    toConstr _ = error "instance Data FromRenaming toConstr"
     dataTypeOf _ = mkDataType "Language.CSPM.Rename.FromRenaming" []
 
 -- | A module that has gone through renaming