--- a/lib/ur/basis.urs	Sat Mar 28 11:15:42 2009 -0400
+++ b/lib/ur/basis.urs	Sun Mar 29 11:37:29 2009 -0400
@@ -115,6 +115,9 @@
 val send : t ::: Type -> channel t -> t -> transaction unit
 val recv : t ::: Type -> channel t -> transaction t
 
+type client
+val self : transaction client
+
 
 (** SQL *)
 
@@ -207,6 +210,7 @@
 
 class sql_injectable_nullable
 val sql_channel : t ::: Type -> sql_injectable_nullable (channel t)
+val sql_client : sql_injectable_nullable client
 
 class sql_injectable
 val sql_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable t