diff --git a/ZipperAG.cabal b/ZipperAG.cabal
--- a/ZipperAG.cabal
+++ b/ZipperAG.cabal
@@ -1,5 +1,5 @@
 Name:		   ZipperAG
-Version:	   0.3
+Version:	   0.4
 Cabal-Version: >= 1.2
 License:	   BSD3
 Author:		   Pedro Martins <pedromartins4@gmail.com>
@@ -15,8 +15,7 @@
 
 Library
   Build-Depends:	base >= 2 && <= 4.6.0.1, syz
-  Exposed-modules:  Language.Grammars.ZipperAG, Language.Grammars.ZipperAG.Examples.Algol68, Language.Grammars.ZipperAG.Examples.BreadthFirst
-                    Language.Grammars.ZipperAG.Examples.DESK_circular, Language.Grammars.ZipperAG.Examples.DESK_HighOrder, Language.Grammars.ZipperAG.Examples.DESK_references, Language.Grammars.ZipperAG.Examples.DESK, Language.Grammars.ZipperAG.Examples.HTMLTableFormatter, Language.Grammars.ZipperAG.Examples.RepMin, Language.Grammars.ZipperAG.Examples.SmartParentesis
+  Exposed-modules:  Language.Grammars.ZipperAG, Language.Grammars.ZipperAG.Examples.Algol68, Language.Grammars.ZipperAG.Examples.BreadthFirst, Language.Grammars.ZipperAG.Examples.DESK_circular, Language.Grammars.ZipperAG.Examples.DESK_HighOrder, Language.Grammars.ZipperAG.Examples.DESK_references, Language.Grammars.ZipperAG.Examples.DESK, Language.Grammars.ZipperAG.Examples.HTMLTableFormatter, Language.Grammars.ZipperAG.Examples.RepMin, Language.Grammars.ZipperAG.Examples.SmartParentesis
   hs-source-dirs:   src 
 
 
diff --git a/src/Language/Grammars/ZipperAG/Examples/Algol68.hs b/src/Language/Grammars/ZipperAG/Examples/Algol68.hs
--- a/src/Language/Grammars/ZipperAG/Examples/Algol68.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/Algol68.hs
@@ -1,7 +1,7 @@
 
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module BLOCK_NewAG where
+module Language.Grammars.ZipperAG.Examples.Algol68 where
 
 import Data.Data
 import Data.Generics.Zipper
diff --git a/src/Language/Grammars/ZipperAG/Examples/BreadthFirst.hs b/src/Language/Grammars/ZipperAG/Examples/BreadthFirst.hs
--- a/src/Language/Grammars/ZipperAG/Examples/BreadthFirst.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/BreadthFirst.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module BreadthFirst where
+module Language.Grammars.ZipperAG.Examples.BreadthFirst where
 
 import Data.Data
 import Data.Generics.Zipper
diff --git a/src/Language/Grammars/ZipperAG/Examples/DESK.hs b/src/Language/Grammars/ZipperAG/Examples/DESK.hs
--- a/src/Language/Grammars/ZipperAG/Examples/DESK.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/DESK.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module DESK_NewAG where
+module Language.Grammars.ZipperAG.Examples.DESK where
 
 import Data.Maybe
 import Data.Data
diff --git a/src/Language/Grammars/ZipperAG/Examples/DESK_HighOrder.hs b/src/Language/Grammars/ZipperAG/Examples/DESK_HighOrder.hs
--- a/src/Language/Grammars/ZipperAG/Examples/DESK_HighOrder.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/DESK_HighOrder.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module DESK_NewAG where
+module Language.Grammars.ZipperAG.Examples.DESK_HighOrder where
 
 import Data.Maybe
 import Data.Data
diff --git a/src/Language/Grammars/ZipperAG/Examples/DESK_circular.hs b/src/Language/Grammars/ZipperAG/Examples/DESK_circular.hs
--- a/src/Language/Grammars/ZipperAG/Examples/DESK_circular.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/DESK_circular.hs
@@ -1,7 +1,8 @@
 
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module DESK_NewAG where
+module Language.Grammars.ZipperAG.Examples.DESK_circular where
+
 import Data.Maybe
 import Data.Data
 import Prelude
diff --git a/src/Language/Grammars/ZipperAG/Examples/DESK_references.hs b/src/Language/Grammars/ZipperAG/Examples/DESK_references.hs
--- a/src/Language/Grammars/ZipperAG/Examples/DESK_references.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/DESK_references.hs
@@ -1,7 +1,8 @@
 
 {-# LANGUAGE DeriveDataTypeable, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, UndecidableInstances #-}
 
-module DESK_NewAG where
+module Language.Grammars.ZipperAG.Examples.DESK_references where
+
 import Data.Maybe
 import Data.Data
 import Prelude hiding (head, tail, zip)
diff --git a/src/Language/Grammars/ZipperAG/Examples/HTMLTableFormatter.hs b/src/Language/Grammars/ZipperAG/Examples/HTMLTableFormatter.hs
--- a/src/Language/Grammars/ZipperAG/Examples/HTMLTableFormatter.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/HTMLTableFormatter.hs
@@ -1,7 +1,7 @@
 
 {-# LANGUAGE DeriveDataTypeable #-}
 
-module HTML_Table_Formatter_newAG where
+module Language.Grammars.ZipperAG.Examples.HTMLTableFormatter where
 
 import Data.Data
 import Data.Generics.Zipper
diff --git a/src/Language/Grammars/ZipperAG/Examples/RepMin.hs b/src/Language/Grammars/ZipperAG/Examples/RepMin.hs
--- a/src/Language/Grammars/ZipperAG/Examples/RepMin.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/RepMin.hs
@@ -1,7 +1,7 @@
 
 {-# LANGUAGE DeriveDataTypeable#-}
 
-module Repmin where
+module Language.Grammars.ZipperAG.Examples.RepMin where
 
 import Data.Maybe
 import Data.Data
diff --git a/src/Language/Grammars/ZipperAG/Examples/SmartParentesis.hs b/src/Language/Grammars/ZipperAG/Examples/SmartParentesis.hs
--- a/src/Language/Grammars/ZipperAG/Examples/SmartParentesis.hs
+++ b/src/Language/Grammars/ZipperAG/Examples/SmartParentesis.hs
@@ -1,6 +1,6 @@
 
 {-# LANGUAGE DeriveDataTypeable #-}
-module PP_NewAG where
+module Language.Grammars.ZipperAG.Examples.SmartParentesis where
 
 import Data.Maybe
 import Data.Data