diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,17 @@
-# Revision history for chr-lang
+# Revision history for chr
 
-## 0.1.0.0  -- YYYY-mm-dd
+## 0.1.0.3  -- 2018-04-28
 
-* First version. Released on an unsuspecting world.
+* init of infra for factoring out API for storing stuff
+
+## 0.1.0.2  -- 2018-01-07
+
+* haddock build errors fixed
+
+## 0.1.0.1  -- 2018-01-07
+
+* Restructure and refactor to allow 1 constraint lang to be used with multiple term lang
+
+## 0.1.0.0  -- 2017-12-28
+
+* First version.
diff --git a/chr-lang.cabal b/chr-lang.cabal
--- a/chr-lang.cabal
+++ b/chr-lang.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                chr-lang
-version:             0.1.0.1
+version:             0.1.1.0
 synopsis:            AST + surface language around chr
 description:         AST + surface language around chr, with executable for parsing and running the evaluator.
 homepage:            https://github.com/atzedijkstra/chr
@@ -50,7 +50,7 @@
     chr-parse >= 0.1.0.0,
     chr-pretty >= 0.1.0.0,
     chr-data >= 0.1.0.0,
-    chr-core >= 0.1.0.1
+    chr-core >= 0.1.1.0
   hs-source-dirs:      src
   default-language:    Haskell2010
 
diff --git a/src/CHR/Language/Examples/Term/AST.hs b/src/CHR/Language/Examples/Term/AST.hs
--- a/src/CHR/Language/Examples/Term/AST.hs
+++ b/src/CHR/Language/Examples/Term/AST.hs
@@ -85,9 +85,9 @@
 instance TT.TreeTrieKeyable (Tm' op) where
   toTreeTriePreKey1 (Tm_Var  v) = TT.prekey1Wild
   toTreeTriePreKey1 (Tm_Int  i) = TT.prekey1 $ Key_Int i
-  toTreeTriePreKey1 (Tm_Str  s) = TT.prekey1 $ Key_Str {- $ "Tm_Str:" ++ -} s
+  toTreeTriePreKey1 (Tm_Str  s) = TT.prekey1 $ Key_Str s
   toTreeTriePreKey1 (Tm_Bool i) = TT.prekey1 $ Key_Int $ fromEnum i
-  toTreeTriePreKey1 (Tm_Con c as) = TT.prekey1WithChildren (Key_Str {- $ "Tm_Con:" ++ -} c) as
+  toTreeTriePreKey1 (Tm_Con c as) = TT.prekey1WithChildren (Key_Str c) as
   toTreeTriePreKey1 (Tm_Op op as) = TT.prekey1WithChildren (Key_Op op) as
   toTreeTriePreKey1 (Tm_Lst h _ ) = TT.prekey1WithChildren Key_Lst h
 
diff --git a/src/CHR/Language/WithTerm/AST.hs b/src/CHR/Language/WithTerm/AST.hs
--- a/src/CHR/Language/WithTerm/AST.hs
+++ b/src/CHR/Language/WithTerm/AST.hs
@@ -103,7 +103,7 @@
 
 instance (TT.TrTrKey (C' tm) ~ TT.TrTrKey tm, TT.TreeTrieKeyable tm) => TT.TreeTrieKeyable (C' tm) where
   -- Only necessary for non-builtin constraints
-  toTreeTriePreKey1 (C_Con c as) = TT.prekey1WithChildren (Key_Str {- $ "C_Con:" ++ -} c) as
+  toTreeTriePreKey1 (C_Con c as) = TT.prekey1WithChildren (Key_Str c) as
   toTreeTriePreKey1 _            = TT.prekey1Nil
 
 type E' tm = ()
@@ -132,7 +132,7 @@
 
 type instance ExtrValVarKey (G' tm) = Var
 type instance ExtrValVarKey (C' tm) = Var
-type instance ExtrValVarKey (P'  tm) = Var
+type instance ExtrValVarKey (P' tm) = Var
 
 type instance CHRMatchableKey (S' (tm op)) = Key' op