diff --git a/copilot-language.cabal b/copilot-language.cabal
--- a/copilot-language.cabal
+++ b/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             0.7
+version:             0.8
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,31 +42,32 @@
     ghc-prim >= 0.2 && < 0.3,
     copilot-core >= 0.1
   exposed-modules:
-    Copilot
-    Copilot.Language
-    Copilot.Language.Error
-    Copilot.Language.Interpret
-    Copilot.Language.Operators.Boolean
-    Copilot.Language.Operators.Cast
-    Copilot.Language.Operators.Constant
-    Copilot.Language.Operators.Eq
-    Copilot.Language.Operators.Extern
-    Copilot.Language.Operators.Local
-    Copilot.Language.Operators.Integral
-    Copilot.Language.Operators.Mux
-    Copilot.Language.Operators.Ord
-    Copilot.Language.Operators.Temporal
-    Copilot.Language.Operators.BitWise
-    Copilot.Language.Prelude
-    Copilot.Language.Reify
+      Copilot
+    , Copilot.Language
+    , Copilot.Language.Error
+    , Copilot.Language.Interpret
+    , Copilot.Language.Operators.Boolean
+    , Copilot.Language.Operators.Cast
+    , Copilot.Language.Operators.Constant
+    , Copilot.Language.Operators.Eq
+    , Copilot.Language.Operators.Extern
+    , Copilot.Language.Operators.Local
+    , Copilot.Language.Operators.Integral
+    , Copilot.Language.Operators.Mux
+    , Copilot.Language.Operators.Ord
+    , Copilot.Language.Operators.Temporal
+    , Copilot.Language.Operators.BitWise
+    , Copilot.Language.Prelude
+    , Copilot.Language.Reify
+
 --    Copilot.Language.Reify.Graph
 
   other-modules:
-    Copilot.Language.Analyze
-    Copilot.Language.Stream
-    Copilot.Language.Spec
-    System.Mem.StableName.Dynamic
-    System.Mem.StableName.Map
+      Copilot.Language.Analyze
+    , Copilot.Language.Stream
+    , Copilot.Language.Spec
+    , System.Mem.StableName.Dynamic
+    , System.Mem.StableName.Map
 
   ghc-options:
     -fwarn-tabs