diff --git a/examples/2times2.l b/examples/2times2.l
--- a/examples/2times2.l
+++ b/examples/2times2.l
@@ -1,1 +1,2 @@
-(\x. \y. x(x y)) (\x. \y. x(x y))
+let two = λx. λy. x (x y)
+in two two
diff --git a/examples/asperti_guerrini_p14.l b/examples/asperti_guerrini_p14.l
new file mode 100644
--- /dev/null
+++ b/examples/asperti_guerrini_p14.l
@@ -0,0 +1,1 @@
+(λx. x (λi. i)) λy. (λd. d d) (y z)
diff --git a/examples/qp.l b/examples/qp.l
new file mode 100644
--- /dev/null
+++ b/examples/qp.l
@@ -0,0 +1,3 @@
+(λx.(λy.((λf.((λh.(h(λp.(h(λq.p)))))
+              (λl.(((f(λn.(l n))) x) y))))
+         (λg.(λu.(λv.((g u) (g v))))))))
diff --git a/examples/qq.l b/examples/qq.l
new file mode 100644
--- /dev/null
+++ b/examples/qq.l
@@ -0,0 +1,3 @@
+(λx.(λy.((λf.((λh.(h(λp.(h(λq.q)))))
+              (λl.(((f(λn.(l n))) x) y))))
+         (λg.(λu.(λv.((g u) (g v))))))))
diff --git a/examples/trivial_dup.l b/examples/trivial_dup.l
new file mode 100644
--- /dev/null
+++ b/examples/trivial_dup.l
@@ -0,0 +1,1 @@
+(λd. d d)((λi. i) x)
diff --git a/graph-rewriting-ww.cabal b/graph-rewriting-ww.cabal
--- a/graph-rewriting-ww.cabal
+++ b/graph-rewriting-ww.cabal
@@ -1,5 +1,5 @@
 Name:           graph-rewriting-ww
-Version:        0.1
+Version:        0.2
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE
@@ -9,7 +9,7 @@
 Stability:      alpha
 Build-Type:     Simple
 Synopsis:       Interactive reduction of lambda-calculus with explicit sharing
-Description:    Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitely render sharing (and unsharing) according to Wadsworth's approach.
+Description:    Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach.
 Category:       Application, Compilers/Interpreters
 Cabal-Version:  >= 1.6
 Data-Files:     examples/*.l
@@ -17,7 +17,7 @@
 Executable ww
   Main-Is:        Main.hs
   Build-Depends:
-    base >= 4 && < 4.5,
+    base >= 4.3 && < 4.6,
     base-unicode-symbols >= 0.2 && < 0.3,
     graph-rewriting >= 0.7 && < 0.8,
     graph-rewriting-layout >= 0.5.1 && < 0.6,