diff --git a/Main.hs b/Main.hs
--- a/Main.hs
+++ b/Main.hs
@@ -54,7 +54,7 @@
 	 	 Leaf "Unshare MFE" unshare,
 	 	 Leaf "Eliminate" eliminate,
 	 	 Leaf "Erase" erase],
-	 Branch "Unsafe Unsharing"
+	 Branch "Unshare MFE (unsafe)"
 	 	[Leaf "Initiate" initDuplication,
 	 	 Branch "Intermediate"
 	    	 [Leaf "DuplicateAbstractor" duplicateAbstractor,
diff --git a/examples/test.l b/examples/test.l
new file mode 100644
--- /dev/null
+++ b/examples/test.l
@@ -0,0 +1,10 @@
+λx. (λy. (λz. (? x) (? z)) (? y))
+
+let
+	f(z1,z2,z3) x -> g(h(z1 x, z2), z3)
+	g(z1,z2) y -> z1(z2 y)
+	h(z1,z2) z -> z1(z2 z)
+in f(n1,n2,n3)
+
+
+λx. (λy. (λz. (n1 x) (n2 z)) (n3 y))
diff --git a/examples/test2.l b/examples/test2.l
new file mode 100644
--- /dev/null
+++ b/examples/test2.l
@@ -0,0 +1,1 @@
+λx. λy. let Z = λz. n1 x (n2 z) in Z (n3 y) Z
diff --git a/graph-rewriting-ww.cabal b/graph-rewriting-ww.cabal
--- a/graph-rewriting-ww.cabal
+++ b/graph-rewriting-ww.cabal
@@ -1,15 +1,14 @@
 Name:           graph-rewriting-ww
-Version:        0.3.2
+Version:        0.3.3
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE
 Author:         Jan Rochel
 Maintainer:     jan@rochel.info
 Homepage:       http://rochel.info/#graph-rewriting
-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 explicitly render fully-lazy sharing according to Wadsworth's approach.
+Synopsis:       Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing
+Description:    Evaluate a given λ-term (letrecs may be used) interactively. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach. The reduction rules are split into two groups, safe rules and unsafe rules, which implement the procedure for unsharing the MFE under one duplicator.
 Category:       Application, Compilers/Interpreters
 Cabal-Version:  >= 1.6
 Data-Files:     examples/*.l
@@ -17,14 +16,14 @@
 Executable ww
   Main-Is:        Main.hs
   Build-Depends:
-    base >= 4 && < 4.6,
+    base >= 4 && < 4.7,
     base-unicode-symbols >= 0.2 && < 0.3,
     graph-rewriting >= 0.7 && < 0.8,
     graph-rewriting-layout >= 0.5.1 && < 0.6,
     graph-rewriting-gl >= 0.6.9 && < 0.8,
     parsec >= 2.1 && < 2.2,
-    GLUT >= 2.2 && < 2.5,
-    OpenGL >= 2.4 && < 2.9,
+    GLUT >= 2.2 && < 2.6,
+    OpenGL >= 2.4 && < 2.10,
     IndentParser >= 0.2 && < 0.3
   Extensions:
     UnicodeSyntax