diff --git a/EqualitySolver.cabal b/EqualitySolver.cabal
--- a/EqualitySolver.cabal
+++ b/EqualitySolver.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                EqualitySolver
-version:             0.1.0.1
+version:             0.1.0.2
 synopsis:            A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality
 -- description:         
 license:             BSD3
diff --git a/src/EqualitySolver/Solver.hs b/src/EqualitySolver/Solver.hs
--- a/src/EqualitySolver/Solver.hs
+++ b/src/EqualitySolver/Solver.hs
@@ -1,4 +1,6 @@
 module EqualitySolver.Solver(
+  EqFormula, EqLiteral, EqTerm,
+  Name, Arity,
   eqF, eq, neq,
   var, fun,
   satisfiableInEq) where
@@ -55,7 +57,17 @@
     deriving (Eq, Ord, Show)
 
 type Arity = Int
+
+-- |Make a new arity
+arity :: Int -> Arity
+arity i = i
+
 type Name = String
+
+-- |Make a new name
+name :: String -> Name
+name n = n
+
 
 data EqTerm
   = Function Name Arity [EqTerm]