diff --git a/AspectAG.cabal b/AspectAG.cabal
--- a/AspectAG.cabal
+++ b/AspectAG.cabal
@@ -1,23 +1,23 @@
-cabal-version:      >=1.2
-build-type:         Simple
 name:               AspectAG 
-version:            0.1
+version:            0.1.1
 license:            LGPL
 license-file:       COPYRIGHT
 maintainer:         Marcos Viera <mviera@fing.edu.uy>
 homepage:           http://www.cs.uu.nl/wiki/bin/view/Center/AspectAG 
 description:        Library of strongly typed Attribute Grammars implemented using type-level programming   
 synopsis:           Attribute Grammars in the form of an EDSL
+build-type:         Simple
 category:           Development 
 stability:          Experimental
 copyright:          Universiteit Utrecht
-build-depends:      base<=4, haskell98, template-haskell, HList>=0.1, containers>=0.2.0.0, mtl>=1.1.0.2
+build-depends:      base<=4, haskell98, template-haskell, HList>=0.1.1, containers>=0.2.0.0, mtl>=1.1.0.2
 cabal-version:      >= 1.2.3  
 exposed-modules:    Data.AspectAG, Data.AspectAG.Derive
 other-modules:           
-extensions:         EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies,
-                    MultiParamTypeClasses, PatternSignatures, RankNTypes, ScopedTypeVariables,
-                    TypeSynonymInstances, UndecidableInstances, GADTs
+extensions:         MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, FlexibleInstances, 
+                    UndecidableInstances, ExistentialQuantification, EmptyDataDecls, Rank2Types, 
+                    TypeSynonymInstances
+
 hs-source-dirs:     src
 extra-source-files: README, LICENSE-LGPL 
-ghc-options:        -O2 -Wall
+ghc-options:        -Wall
diff --git a/examples/README b/examples/README
deleted file mode 100644
--- a/examples/README
+++ /dev/null
@@ -1,30 +0,0 @@
-To compile the examples some modules of the library HList have to be exposed.
-The following is an example of a file "HList.cabal" which makes the examples work:
-
-Name:                HList
-Version:             0.1
-Category:            Data
-Synopsis:            Heterogeneous lists
-Description:         HList is a record system providing strongly typed heterogenous lists, records,
-                     type-indexed products (TIP) and co-products; licensed under the MIT X License.
-License:             OtherLicense
-License-File:        LICENSE
-Author:              2004 Oleg Kiselyov (FNMOC, Monterey), Ralf Laemmel (CWI/VU, Amsterdam),
-                     Keean Schupke (Imperial College, London)
-Maintainer:          oleg@pobox.com
-
-Tested-With:         GHC==6.8.2
-Build-Depends:       base, template-haskell
-Build-Type:          Simple
-Exposed-modules:     Data.HList, Data.HList.Label4, Data.HList.Record, Data.HList.TypeCastGeneric1, 
-                     Data.HList.FakePrelude, Data.HList.TypeEqGeneric1, Data.HList.MakeLabels
-Other-modules:       Data.HList.CommonMain, Data.HList.Variant, Data.HList.GhcSyntax,
-                     Data.HList.GhcRecord,Data.HList.HZip, Data.HList.TIC, Data.HList.TIP,
-                     Data.HList.HTypeIndexed, Data.HList.HOccurs, Data.HList.HArray, Data.HList.GhcExperiments,
-                     Data.HList.HListPrelude, Data.HList.TypeEqBoolGeneric
-
-extensions:          EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies,
-                     MultiParamTypeClasses, OverlappingInstances, PatternSignatures, RankNTypes,
-                     ScopedTypeVariables, TypeSynonymInstances, UndecidableInstances
-ghc-options:         -O2 -Wall
-