diff --git a/AUTHORS b/AUTHORS
new file mode 100644
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,2 @@
+Jan Rochel
+Chas Leichner (Google Inc.)
diff --git a/Term.hs b/Term.hs
--- a/Term.hs
+++ b/Term.hs
@@ -12,15 +12,6 @@
 import Data.Functor
 import Control.Applicative
 
-
-instance Applicative (GenParser s a) where
-	pure  = return
-	(<*>) = ap
-
-instance Alternative (GenParser s a) where
-	empty = mzero
-	(<|>) = mplus
-
 -- | The AST of a lambda expression
 data Λ = A Λ Λ            -- ^ application
 	| Λ String Λ           -- ^ abstraction
diff --git a/examples/not-ll-expr-1.l b/examples/not-ll-expr-1.l
new file mode 100644
--- /dev/null
+++ b/examples/not-ll-expr-1.l
@@ -0,0 +1,1 @@
+let f = \x.\y. f y x in f a b c d e g
diff --git a/examples/running_eff.l b/examples/running_eff.l
new file mode 100644
--- /dev/null
+++ b/examples/running_eff.l
@@ -0,0 +1,1 @@
+\x. \f. let  r = f r x  in  r
diff --git a/examples/running_ineff.l b/examples/running_ineff.l
new file mode 100644
--- /dev/null
+++ b/examples/running_ineff.l
@@ -0,0 +1,1 @@
+\x. \f. let  r = f (f r x) x  in  r
diff --git a/examples/sum.l b/examples/sum.l
new file mode 100644
--- /dev/null
+++ b/examples/sum.l
@@ -0,0 +1,5 @@
+let
+	sum list = case list of
+		Nil -> 0
+		Cons z zs -> (\x.λy -> + x y) z (sum zs)
+in sum (Cons 1 (Cons 2 Nil))
diff --git a/graph-rewriting-lambdascope.cabal b/graph-rewriting-lambdascope.cabal
--- a/graph-rewriting-lambdascope.cabal
+++ b/graph-rewriting-lambdascope.cabal
@@ -1,5 +1,5 @@
 Name:           graph-rewriting-lambdascope
-Version:        0.5.6
+Version:        0.5.7
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE
@@ -13,24 +13,25 @@
 Category:       Compilers/Interpreters, Application
 Cabal-Version:  >= 1.6
 Data-Files:     examples/*.l examples/case/*.l
+Extra-Source-Files: AUTHORS
 
 Executable lambdascope
   Main-Is:        Main.hs
   Build-Depends:
-    base >= 4 && < 4.8,
+    base >= 4 && < 4.9,
     base-unicode-symbols >= 0.2 && < 0.3,
-    graph-rewriting >= 0.7.1 && < 0.8,
-    graph-rewriting-layout >= 0.5.1 && < 0.6,
-    graph-rewriting-gl >= 0.7.1 && < 0.8,
-    graph-rewriting-strategies >= 0.2.2 && < 0.3,
-    parsec >= 2.1 && < 2.2,
-    GLUT >= 2.2 && < 2.6,
-    OpenGL >= 2.4 && < 2.10,
+    graph-rewriting >= 0.7.8 && < 0.8,
+    graph-rewriting-layout >= 0.5.4 && < 0.6,
+    graph-rewriting-gl >= 0.7.6 && < 0.8,
+    graph-rewriting-strategies >= 0.2.4 && < 0.3,
+    parsec >= 3.1 && < 3.2,
+    GLUT >= 2.2 && < 2.8,
+    OpenGL == 3.*,
     IndentParser >= 0.2 && < 0.3
   Extensions:
     UnicodeSyntax
     FlexibleInstances
     FlexibleContexts
     MultiParamTypeClasses
-  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas
+  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs
   Other-Modules:   GL Graph Resolver Rules Term