[add ability to set bound names as well as used names in NameMonad
John Meacham <john@repetae.net>**20051011022850] hunk ./NameMonad.hs 17
+    -- | Add to list of bound names
+    addBoundNames :: [n] -> m ()
hunk ./NameMonad.hs 26
-
-    --  | get bound names
-    -- getNames :: m [n]
+    -- in case we only have a concept of bound names
+    addNames = addBoundNames
hunk ./NameMonad.hs 48
+    addBoundNames n = lift $ addBoundNames n
hunk ./NameMonad.hs 74
+    addBoundNames ns = NameMT $ do
+        let nset = Set.fromList ns
+        modify (\ (used,bound) -> (nset `Set.union` used, nset `Set.union` bound) )