diff --git a/funcons-tools.cabal b/funcons-tools.cabal
--- a/funcons-tools.cabal
+++ b/funcons-tools.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                funcons-tools
-version:             0.2.0.3
+version:             0.2.0.5
 synopsis:            A modular interpreter for executing funcons
 description:
     The PLanCompS project (<http://plancomps.org>) has developed a component-based approach to formal semantics.
diff --git a/src/Funcons/EDSL.hs b/src/Funcons/EDSL.hs
--- a/src/Funcons/EDSL.hs
+++ b/src/Funcons/EDSL.hs
@@ -124,7 +124,7 @@
 -- This function has been introduced for easy expression of the
 -- semantics of builtin identifiers 
 env_fromlist_ :: [(String, Funcons)] -> Funcons
-env_fromlist_ = FMap . concatMap (\(k,v) -> [string_ k, v])
+env_fromlist_ = FMap . map (\(k,v) -> tuple_ [string_ k, v])
 
 
 -- | A funcon library with funcons for builtin types.