--- a/string.rhope	Tue Jul 27 15:23:32 2010 -0400
+++ b/string.rhope	Tue Jul 27 23:33:31 2010 -0400
@@ -526,3 +526,36 @@
 }
 
 
+Dict Type ID@String[string:out]
+{
+	out <- ID[String()]
+}
+
+Dict Type ID@String Cat[string:out]
+{
+	out <- ID[String()]
+}
+
+Dict Type ID@String Slice[string:out]
+{
+	out <- ID[String()]
+}
+
+Dict Bits@String[string,index:out,invalid]
+{
+	,invalid <- [string]Byte[index]
+	{ out <- UInt32[~] }
+}
+
+Dict Bits@String Cat[string,index:out,invalid]
+{
+	,invalid <- [string]Byte[index]
+	{ out <- UInt32[~] }
+}
+
+Dict Bits@String Slice[string,index:out,invalid]
+{
+	,invalid <- [string]Byte[index]
+	{ out <- UInt32[~] }
+}
+