diff --git a/copilot-libraries.cabal b/copilot-libraries.cabal
--- a/copilot-libraries.cabal
+++ b/copilot-libraries.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             0.5
+version:             0.6
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:         
diff --git a/src/Copilot/Library/Clocks.hs b/src/Copilot/Library/Clocks.hs
--- a/src/Copilot/Library/Clocks.hs
+++ b/src/Copilot/Library/Clocks.hs
@@ -28,8 +28,6 @@
 import Prelude ( Integral, fromIntegral, ($))
 import qualified Prelude as P
 import Copilot.Language
-import Data.Bool
-import Data.List (replicate)
 
 data ( Integral a ) => Period a = Period a
 data ( Integral a ) => Phase  a = Phase  a
diff --git a/src/Copilot/Library/PTLTL.hs b/src/Copilot/Library/PTLTL.hs
--- a/src/Copilot/Library/PTLTL.hs
+++ b/src/Copilot/Library/PTLTL.hs
@@ -17,7 +17,6 @@
 
 import Prelude ( ($) )
 import Copilot.Language
-import Data.Bool hiding ( (&&), (||) )
 
 
 -- | Did @s@ hold in the previous period?
diff --git a/src/Copilot/Library/RegExp.hs b/src/Copilot/Library/RegExp.hs
--- a/src/Copilot/Library/RegExp.hs
+++ b/src/Copilot/Library/RegExp.hs
@@ -1,6 +1,6 @@
-module Copilot.Library.RegExp ( copilotRegexp, copilotRegexpB ) where
-
 -- | A regular expression librariy.
+
+module Copilot.Library.RegExp ( copilotRegexp, copilotRegexpB ) where
 
 import Text.ParserCombinators.Parsec
   ( optional, (<|>), string, char, between, GenParser, many, choice, CharParser
diff --git a/src/Copilot/Library/Stacks.hs b/src/Copilot/Library/Stacks.hs
--- a/src/Copilot/Library/Stacks.hs
+++ b/src/Copilot/Library/Stacks.hs
@@ -10,7 +10,6 @@
   ( stack, stack' ) where
 
 import Copilot.Language
-import Copilot.Language.Prelude
 
 type PushSignal    = Stream Bool
 type PopSignal     = Stream Bool
diff --git a/src/Copilot/Library/Statistics.hs b/src/Copilot/Library/Statistics.hs
--- a/src/Copilot/Library/Statistics.hs
+++ b/src/Copilot/Library/Statistics.hs
@@ -12,7 +12,6 @@
     ( max, min, sum, mean, meanNow ) where
 
 import Copilot.Language
-import Copilot.Language.Prelude
 import Copilot.Library.Utils
 
 -- | Summation.
diff --git a/src/Copilot/Library/Utils.hs b/src/Copilot/Library/Utils.hs
--- a/src/Copilot/Library/Utils.hs
+++ b/src/Copilot/Library/Utils.hs
@@ -11,7 +11,6 @@
 where
 
 import Copilot.Language
-import Copilot.Language.Prelude 
 import qualified Prelude as P
 
 -- | functions similar to the Prelude functions on lists
diff --git a/src/Copilot/Library/Voting.hs b/src/Copilot/Library/Voting.hs
--- a/src/Copilot/Library/Voting.hs
+++ b/src/Copilot/Library/Voting.hs
@@ -19,7 +19,6 @@
   ( majority, aMajority ) where
 
 import Copilot.Language
-import Copilot.Language.Prelude
 import qualified Prelude as P
 
 --------------------------------------------------------------------------------