diff --git a/Language/Javascript/JMacro/TypeCheck.hs b/Language/Javascript/JMacro/TypeCheck.hs
--- a/Language/Javascript/JMacro/TypeCheck.hs
+++ b/Language/Javascript/JMacro/TypeCheck.hs
@@ -56,8 +56,8 @@
 -- Basic Types and TMonad
 data StoreVal = SVType JType
               | SVConstrained (Set Constraint)
-              -- | SVFreshType Int
                 deriving Show
+              {- -- | SVFreshType Int -}
 
 data TCState = TCS {tc_env :: [Map Ident JType],
                     tc_vars :: Map Int StoreVal,
diff --git a/Language/Javascript/JMacro/Types.hs b/Language/Javascript/JMacro/Types.hs
--- a/Language/Javascript/JMacro/Types.hs
+++ b/Language/Javascript/JMacro/Types.hs
@@ -38,11 +38,12 @@
 
 data Constraint = Sub JType
                 | Super JType
-                -- | Choice Constraint Constraint
-                -- | GLB (Set JType)
-                -- | LUB (Set JType)
                   deriving (Eq, Ord, Read, Show, Typeable, Data)
-
+{-
+                 | Choice Constraint Constraint
+                 | GLB (Set JType)
+                 | LUB (Set JType)
+-}
 type JLocalType = ([(VarRef,Constraint)], JType)
 
 type TypeParserState = (Int, Map String Int)
diff --git a/jmacro.cabal b/jmacro.cabal
--- a/jmacro.cabal
+++ b/jmacro.cabal
@@ -1,5 +1,5 @@
 name:                jmacro
-version:             0.4.5
+version:             0.4.6
 synopsis:            QuasiQuotation library for programmatic generation of Javascript code.
 description:         Javascript syntax, functional syntax, hygienic names, compile-time guarantees of syntactic correctness, limited typechecking.
 category:            Language