diff --git a/Direct/GL.hs b/Direct/GL.hs
--- a/Direct/GL.hs
+++ b/Direct/GL.hs
@@ -19,8 +19,6 @@
 		Root {} → [sd s]
 		where
 			n = Vector2 0 1
-			w = Vector2 (-1) 0
-			e = Vector2 1 0
 			s = Vector2 0 (-1)
 			sw = Vector2 (-1) (-1)
 			se = Vector2 1 (-1)
diff --git a/Direct/Main.hs b/Direct/Main.hs
--- a/Direct/Main.hs
+++ b/Direct/Main.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE UnicodeSyntax, FlexibleInstances, FlexibleContexts #-}
 module Main where
 
 import GraphRewriting.GL.Render
diff --git a/Direct/Rules.hs b/Direct/Rules.hs
--- a/Direct/Rules.hs
+++ b/Direct/Rules.hs
@@ -5,7 +5,6 @@
 import Data.Monoid.Unicode
 import Direct.Graph
 import GraphRewriting
-import Control.Applicative
 
 
 -- <chunk: rules>
diff --git a/INet/GL.hs b/INet/GL.hs
--- a/INet/GL.hs
+++ b/INet/GL.hs
@@ -24,8 +24,6 @@
 		S2 {} → [sd n, sd (sw*0.7), sd (se*0.7)]
 		where -- points of compass
 			n = Vector2 0 1
-			w = Vector2 (-1) 0
-			e = Vector2 1 0
 			s = Vector2 0 (-1)
 			sw = Vector2 (-1) (-1)
 			se = Vector2 1 (-1)
diff --git a/INet/Main.hs b/INet/Main.hs
--- a/INet/Main.hs
+++ b/INet/Main.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE UnicodeSyntax, FlexibleInstances #-}
+{-# LANGUAGE UnicodeSyntax, FlexibleInstances, FlexibleContexts #-}
 -- Given the graph signature in INet/Graph.hs, the rewrite rules in INet/Rules.hs and the layouting information and rendering code in INet/GL.hs we can tie it together to obtain an interactive, graphical application to see our rewriting system in action.
 module Main where
 
diff --git a/graph-rewriting-ski.cabal b/graph-rewriting-ski.cabal
--- a/graph-rewriting-ski.cabal
+++ b/graph-rewriting-ski.cabal
@@ -1,54 +1,56 @@
 Name:           graph-rewriting-ski
-Version:        0.6.7
+Version:        0.6.8
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE
 Author:         Jan Rochel
 Maintainer:     jan@rochel.info
-Homepage:       http://rochel.info/#graph-rewriting
-Stability:      beta
+Homepage:       https://github.com/jrochel/graph-rewriting
+Bug-Reports:    https://github.com/jrochel/graph-rewriting/issues
 Build-Type:     Simple
-Synopsis:       Two evalutors of the SKI combinator calculus as interactive graph rewrite systems
+Synopsis:       Two interactive evalutors of the SKI combinator calculus
 Description:    This package serves as an example for how to use the graph-rewriting, graph-rewriting-layout, and graph-rewriting-gl packages to create a graph rewriting system with an interactive, graphical front-end. The SKI combinator calculus is implemented once as an interaction net with combinators that accumulate their arguments, and once with rules that consume all the arguments at once. The sources (of the interaction net implementation) are well documented and serve as a tutorial for implementing your own rewrite system. Start reading in INet/Graph.hs. To run the program run either the "ski-inet" or the "ski-direct" with one of the files from the "examples" directory as an argument. For usage of the GUI see "GraphRewriting.GL.UI".
 Category:       Compilers/Interpreters, Application
-Cabal-Version:  >= 1.6
+Cabal-Version:  >= 1.10
 Data-Files:     examples/*.ski examples/combinator_birds/*.ski
 Extra-Source-Files: AUTHORS
 
 Executable ski-inet
+  Default-Language: Haskell2010
   Main-Is:        INet/Main.hs
   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:  Common.GL INet.GL INet.Graph INet.Rules Common.Term
-  Extensions:
-    UnicodeSyntax
+  Default-Extensions: UnicodeSyntax
+  Other-Extensions:
     FlexibleInstances
     FlexibleContexts
     MultiParamTypeClasses
   Build-Depends:
-    base >= 4.3 && < 4.10,
+    base >= 4.3 && < 5,
     base-unicode-symbols >= 0.2 && < 0.3,
-    graph-rewriting >= 0.7.6,
-    graph-rewriting-layout >= 0.5.4,
-    graph-rewriting-gl >= 0.7.6,
+    graph-rewriting >= 0.7.6 && < 0.9,
+    graph-rewriting-layout >= 0.5.4 && < 0.6,
+    graph-rewriting-gl >= 0.7.6 && < 0.8,
     parsec >= 3.1.0 && < 3.2,
-    GLUT >= 2.4 && < 2.8,
-    OpenGL >= 3.0 && < 3.1
+    GLUT >= 2.4 && < 3,
+    OpenGL >= 3.0 && < 4
 
 Executable ski-direct
+  Default-Language: Haskell2010
   Main-Is:        Direct/Main.hs
   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 -fno-warn-tabs
   Other-Modules:  Common.GL Direct.GL Direct.Graph Direct.Rules Common.Term
-  Extensions:
-    UnicodeSyntax
+  Default-Extensions: UnicodeSyntax
+  Other-Extensions:
     FlexibleInstances
     FlexibleContexts
     MultiParamTypeClasses
   Build-Depends:
     base >= 4.3 && < 5,
-    base-unicode-symbols >= 0.2,
-    graph-rewriting >= 0.7,
-    graph-rewriting-layout >= 0.5,
-    graph-rewriting-gl >= 0.6.9,
-    parsec >= 3.1.0,
-    GLUT >= 2.4,
-    OpenGL >= 3.0
+    base-unicode-symbols >= 0.2 && < 0.3,
+    graph-rewriting >= 0.7.6 && < 0.9,
+    graph-rewriting-layout >= 0.5.4 && < 0.6,
+    graph-rewriting-gl >= 0.7.6 && < 0.8,
+    parsec >= 3.1.0 && < 3.2,
+    GLUT >= 2.4 && < 3,
+    OpenGL >= 3.0 && < 4