diff --git a/CSPM-Interpreter.cabal b/CSPM-Interpreter.cabal
--- a/CSPM-Interpreter.cabal
+++ b/CSPM-Interpreter.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-Interpreter
-Version:             0.6.1.0
+Version:             0.7.0.0
 
 Synopsis:            An interpreter for CSPM
 Description:
@@ -13,23 +13,23 @@
 License:             BSD3
 category:            Language,Formal Methods,Concurrency
 License-File:        LICENSE
-Author:              2010 - 2013 Marc Fontaine
-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
+Author:              2010 - 2014 Marc Fontaine
+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
 Stability:           experimental
-Tested-With:         GHC == 7.6.3
+Tested-With:         GHC == 7.8.2
 
-cabal-Version:       >= 1.10
+cabal-Version:       >= 1.20
 build-type: Simple
 Extra-source-files:
 Library
   Build-Depends:
-    CSPM-Frontend >= 0.9 && < 0.10
+    CSPM-Frontend >= 0.10 && < 0.11
     ,CSPM-CoreLanguage >= 0.3 && < 0.4
     ,prettyclass >= 1.0 && < 1.1
     ,base >= 4.0 && < 5.0
     ,containers >= 0.5 && < 0.6
     ,mtl
-    ,array >= 0.4 && <0.5
+    ,array >= 0.5 && <0.6
     ,syb >= 0.4 && < 0.5
 
 
diff --git a/src/CSPM/Interpreter/ClosureSet.hs b/src/CSPM/Interpreter/ClosureSet.hs
--- a/src/CSPM/Interpreter/ClosureSet.hs
+++ b/src/CSPM/Interpreter/ClosureSet.hs
@@ -32,6 +32,7 @@
 
 memberPrefixTrie :: [Field] -> PrefixTrie -> Bool
 memberPrefixTrie [] PTNil = True
+memberPrefixTrie (_:_) PTNil = False
 memberPrefixTrie _ (PTClosure _) = True
 memberPrefixTrie [] t
   = throwInternalError ("memberPrefix : number of fields mismatch" ++ show t)
diff --git a/src/CSPM/Interpreter/PatternCompiler.hs b/src/CSPM/Interpreter/PatternCompiler.hs
--- a/src/CSPM/Interpreter/PatternCompiler.hs
+++ b/src/CSPM/Interpreter/PatternCompiler.hs
@@ -143,7 +143,7 @@
       VarPat _ -> Nothing
       WildCard -> Nothing
       Also patl -> do
-        let l = map lengthOfListPattern patl
+--         let l = map lengthOfListPattern patl
         -- todo: check that all length are equal:
         error "PatternCompiler.hs: lengthOfListPat : also pattern: todo"
       _ -> error $ "PatternCompiler.hs: lengthOfListPat : no list pattern "
diff --git a/src/CSPM/Interpreter/SSet.hs b/src/CSPM/Interpreter/SSet.hs
--- a/src/CSPM/Interpreter/SSet.hs
+++ b/src/CSPM/Interpreter/SSet.hs
@@ -30,6 +30,8 @@
 import qualified Data.Set as Set
 import qualified Data.List as List
 
+-- | 'SSet' (symbolic Set) a 'Set' which handels a empty set,a total set
+-- | and the inverse of a set symbolically
 data SSet a=
    Proper { fromProper :: (Set a)}
  | Empty
diff --git a/src/CSPM/Interpreter/Types.hs b/src/CSPM/Interpreter/Types.hs
--- a/src/CSPM/Interpreter/Types.hs
+++ b/src/CSPM/Interpreter/Types.hs
@@ -32,6 +32,7 @@
 import Data.IntMap as IntMap (IntMap,empty)
 import qualified Control.Monad.Reader as Reader
 import Control.Monad.Reader
+import Control.Applicative (Applicative(..))
 import Control.Exception
 import qualified Data.List as List
 import Data.Typeable
@@ -156,7 +157,7 @@
   }
 
 newtype EM x = EM { unEM ::Reader Env x }
-  deriving (Monad,MonadReader Env)
+  deriving (Functor, Applicative, Monad, MonadReader Env)
 
 getArgBindings :: Env -> Bindings
 getArgBindings = argBindings