diff --git a/Examples/Examples.hs b/Examples/Examples.hs
--- a/Examples/Examples.hs
+++ b/Examples/Examples.hs
@@ -47,6 +47,19 @@
   trigger "trigger" true [arg $ x < 3]
   observer "debug_x" x
 
+latch :: Stream Bool -> Stream Bool
+latch x = out
+  where out = if x then not st else st
+        st  = [False] ++ out
+
+latch' :: Stream Bool -> Stream Bool
+latch' x = out
+  where out = x `xor` st
+        st  = [False] ++ out
+
+ext :: Stream Word8
+ext = [1] ++ ext + extern "e0" (Just [2,4..])
+
 -}
 
 flipflop :: Stream Bool -> Stream Bool
@@ -63,7 +76,7 @@
 odd :: (P.Integral a, Typed a) => Stream a -> Stream Bool
 odd = not . even
 
-counter :: (Num a, Typed a) => Stream Bool -> Stream a
+counter :: (Eq a, Num a, Typed a) => Stream Bool -> Stream a
 counter reset = y
   where
   zy = [0] ++ y
diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             2.0.7
+version:             2.0.8
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -10,7 +10,16 @@
 category:            Language, Embedded
 homepage:            http://leepike.github.com/Copilot/
 stability:           Experimental
-description:         Documentation is available at the website, and see the included examples.
+description:         
+  This package is the main entry-point for using Copilot.
+  .   
+  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
+  Haskell that compiles into embedded C.  Copilot contains an interpreter,
+  multiple back-end compilers, and other verification tools.  A tutorial, bug
+  reports, and todos are available at
+  <https://github.com/niswegmann/copilot-discussion>.  
+  .  
+  Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.
 
 extra-source-files:  README.md