diff --git a/CHANGES b/CHANGES
new file mode 100644
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,13 @@
+== Version 0.1.0 ==
+
+* Added TODO, README, CHANGES (this file)
+
+* Added Data.Type.Proxy
+
+* Renamed t{True,False} to h{True,False} in Data.Type.Bool (typo)
+
+== Version 0.0.1 ==
+
+Initial version
+
+$Header: c:/Source/Haskell/Type/RCS/CHANGES,v 1.1 2011/09/14 01:25:10 dosuser Exp dosuser $
diff --git a/Data/Type/Apply.hs b/Data/Type/Apply.hs
--- a/Data/Type/Apply.hs
+++ b/Data/Type/Apply.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
 {-# LANGUAGE FlexibleInstances #-}
--- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Apply.hs,v 1.1 2010/01/16 00:39:25 dosuser Exp dosuser $
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Apply.hs,v 1.2 2011/03/05 00:26:32 dosuser Exp dosuser $
 module Data.Type.Apply where
 
 -- A heterogeneous apply operator
diff --git a/Data/Type/Bool.hs b/Data/Type/Bool.hs
--- a/Data/Type/Bool.hs
+++ b/Data/Type/Bool.hs
@@ -1,17 +1,17 @@
 {-# LANGUAGE EmptyDataDecls, MultiParamTypeClasses, FunctionalDependencies #-}
 {-# LANGUAGE CPP, UndecidableInstances, FlexibleInstances #-}
 --
--- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Bool.hs,v 1.2 2010/02/03 01:11:45 dosuser Exp dosuser $
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Bool.hs,v 1.4 2011/09/14 01:31:14 dosuser Exp dosuser $
 module Data.Type.Bool where
 
 data TTrue
 data TFalse
 
-hTrue :: TTrue
-hTrue = undefined :: TTrue
+tTrue :: TTrue
+tTrue = undefined :: TTrue
 
-hFalse :: TFalse
-hFalse = undefined :: TFalse
+tFalse :: TFalse
+tFalse = undefined :: TFalse
 
 class TNot a r | a -> r where
     tNot :: a -> r
diff --git a/Data/Type/Eq.hs b/Data/Type/Eq.hs
--- a/Data/Type/Eq.hs
+++ b/Data/Type/Eq.hs
@@ -2,7 +2,7 @@
     FunctionalDependencies, FlexibleInstances
     #-}
 --
--- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Eq.hs,v 1.2 2010/02/03 01:12:28 dosuser Exp dosuser $
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Eq.hs,v 1.3 2011/03/05 00:30:04 dosuser Exp dosuser $
 module Data.Type.Eq where
 
 import Data.Type.Bool
diff --git a/Data/Type/Member.hs b/Data/Type/Member.hs
--- a/Data/Type/Member.hs
+++ b/Data/Type/Member.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE UndecidableInstances, EmptyDataDecls,
     FlexibleInstances, MultiParamTypeClasses
     #-}
--- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Member.hs,v 1.2 2010/02/03 01:13:16 dosuser Exp dosuser $
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Member.hs,v 1.3 2011/03/05 00:31:43 dosuser Exp dosuser $
 module Data.Type.Member where
 
 import Data.Type.Apply
diff --git a/Data/Type/Nat.hs b/Data/Type/Nat.hs
--- a/Data/Type/Nat.hs
+++ b/Data/Type/Nat.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE ScopedTypeVariables #-}
--- .$Header$
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Nat.hs,v 1.1 2011/03/05 00:32:26 dosuser Exp dosuser $
 module Data.Type.Nat where
 
 data Z = Z
diff --git a/Data/Type/Proxy.hs b/Data/Type/Proxy.hs
new file mode 100644
--- /dev/null
+++ b/Data/Type/Proxy.hs
@@ -0,0 +1,6 @@
+-- .$Header: c:/Source/Haskell/Type/Data/Type/RCS/Proxy.hs,v 1.1 2011/09/14 01:32:05 dosuser Exp dosuser $
+module Data.Type.Proxy where
+
+data Proxy a = Proxy
+
+-- vim: expandtab:tabstop=4:shiftwidth=4
diff --git a/Data/Type/Test/Bool.hs b/Data/Type/Test/Bool.hs
--- a/Data/Type/Test/Bool.hs
+++ b/Data/Type/Test/Bool.hs
@@ -4,7 +4,7 @@
 {- Enable the above to compile with GHC >= 6.8 -}
 {- 6.6 fails to even parse it -}
 --
--- .$Header$
+-- .$Header: c:/Source/Haskell/Type/Data/Type/Test/RCS/Bool.hs,v 1.2 2011/09/21 00:44:01 dosuser Exp dosuser $
 module Data.Type.Test.Bool where
 
 import Data.Type.Apply
@@ -13,9 +13,9 @@
 import Data.Type.TList
 
 t9 :: TTrue
-t9 = tNot hFalse
+t9 = tNot tFalse
 t10 :: TFalse
-t10 = tNot hTrue
+t10 = tNot tTrue
 
 data Test a
 
@@ -31,13 +31,13 @@
 t12 = tNot vtf
 
 t1 :: TFalse
-t1 = tAnd hFalse hFalse
+t1 = tAnd tFalse tFalse
 t2 :: TFalse
-t2 = tAnd hFalse hTrue
+t2 = tAnd tFalse tTrue
 t3 :: TFalse
-t3 = tAnd hTrue hFalse
+t3 = tAnd tTrue tFalse
 t4 :: TTrue
-t4 = tAnd hTrue hTrue
+t4 = tAnd tTrue tTrue
 
 t13 :: TFalse
 t13 = tAnd vtf vtf
@@ -49,13 +49,13 @@
 t16 = tAnd vtt vtt
 
 t5 :: TFalse
-t5 = tOr hFalse hFalse
+t5 = tOr tFalse tFalse
 t6 :: TTrue
-t6 = tOr hFalse hTrue
+t6 = tOr tFalse tTrue
 t7 :: TTrue
-t7 = tOr hTrue hFalse
+t7 = tOr tTrue tFalse
 t8 :: TTrue
-t8 = tOr hTrue hTrue
+t8 = tOr tTrue tTrue
 
 t17 :: TFalse
 t17 = tOr vtf vtf
diff --git a/Data/Type/Test/Nat.hs b/Data/Type/Test/Nat.hs
--- a/Data/Type/Test/Nat.hs
+++ b/Data/Type/Test/Nat.hs
@@ -1,4 +1,4 @@
--- .$Header$
+-- .$Header: c:/Source/Haskell/Type/Data/Type/Test/RCS/Nat.hs,v 1.1 2011/03/05 00:35:40 dosuser Exp dosuser $
 module Data.Type.Test.Nat where
 
 import Data.Type.Nat
diff --git a/README b/README
new file mode 100644
--- /dev/null
+++ b/README
@@ -0,0 +1,13 @@
+README for data-type version 0.1.0
+
+Use Cabal (http://www.haskell.org/cabal/) to install.
+
+This is a collection of useful type-level definitions,
+drawn from various sources, and organised in a hopefully useful fashion.
+
+Tests are currently in a local subdirectory <Test>.
+Data.Type.Test.Bool contains compile-time only tests -
+just load it in ghci.
+Data.Type.Test.Nat uses HUnit.
+
+$Header: c:/Source/Haskell/Type/RCS/README,v 1.1 2011/09/14 01:26:27 dosuser Exp dosuser $
diff --git a/TODO b/TODO
new file mode 100644
--- /dev/null
+++ b/TODO
@@ -0,0 +1,3 @@
+No specific changes are currently planned.
+
+$Header: c:/Source/Haskell/Type/RCS/TODO,v 1.1 2011/09/14 01:27:13 dosuser Exp dosuser $
diff --git a/data-type.cabal b/data-type.cabal
--- a/data-type.cabal
+++ b/data-type.cabal
@@ -1,5 +1,5 @@
 Name:            data-type
-Version:         0.0.1
+Version:         0.1.0
 Cabal-version:   >= 1.2.3
 Build-Type:      Simple
 License:         BSD3
@@ -13,16 +13,20 @@
                  Oleg-inspired type[class] manipulation
 Category:        Data, Type System
 Tested-with:     GHC==6.4.1, GHC==6.6.1, GHC==6.8.3, GHC==6.10.4, GHC==6.12.3
-               , GHC==7.0.1
+               , GHC==7.0.1, GHC==7.0.4
 Extra-source-files:  Data/Type/Test/Bool.hs
                      , Data/Type/Test/Nat.hs
                      , .ghci
+                     , README
+                     , CHANGES
+                     , TODO
 Library
     Exposed-Modules:   Data.Type.Apply
                      , Data.Type.Bool
                      , Data.Type.Eq
                      , Data.Type.Member
                      , Data.Type.Nat
+                     , Data.Type.Proxy
                      , Data.Type.TList
     if impl(ghc < 6.6.1)
         Extensions:      UndecidableInstances OverlappingInstances