diff --git a/cflp.cabal b/cflp.cabal
--- a/cflp.cabal
+++ b/cflp.cabal
@@ -1,5 +1,5 @@
 Name:          cflp
-Version:       0.2.5
+Version:       2009.1.6
 Cabal-Version: >= 1.6
 Synopsis:      Constraint Functional-Logic Programming in Haskell
 Description:   This package provides combinators for constraint
@@ -23,7 +23,7 @@
 Library
   Build-Depends:    base >= 4, 
                     containers, 
-                    value-supply >= 0.3, 
+                    value-supply, 
                     mtl, 
                     syb, 
                     HUnit
diff --git a/src/Control/CFLP.lhs b/src/Control/CFLP.lhs
--- a/src/Control/CFLP.lhs
+++ b/src/Control/CFLP.lhs
@@ -13,7 +13,7 @@
 >
 > module Control.CFLP (
 >
->   CFLP, ChoiceStore, Computation, eval, evalPartial, evalPrint,
+>   CFLP, CS, UpdateT, ChoiceStore, Computation, eval, evalPartial, evalPrint,
 >
 >   Strategy, depthFirst,
 >
diff --git a/src/Data/LazyNondet/UniqueID.lhs b/src/Data/LazyNondet/UniqueID.lhs
--- a/src/Data/LazyNondet/UniqueID.lhs
+++ b/src/Data/LazyNondet/UniqueID.lhs
@@ -48,7 +48,7 @@
 >   type M ID (ID -> a) = M ID a
 >   type T ID (ID -> a) = T ID a
 >
->   with f (ID us) = with (f (ID (supplyLeft us))) (ID (supplyRight us))
+>   with f (ID us) = with (f (ID l)) (ID r) where (l,r) = split2 us
 >
 > withUnique :: With ID a => a -> ID -> Nondet (C ID a) (M ID a) (T ID a)
 > withUnique = with