--- a/lib/ur/basis.urs	Mon Dec 09 20:41:24 2013 -0500
+++ b/lib/ur/basis.urs	Sat Jan 18 18:26:24 2014 -0500
@@ -785,6 +785,7 @@
 type id
 val fresh : transaction id
 val giveFocus : id -> transaction unit
+val show_id : show id
 
 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
           -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
@@ -792,6 +793,9 @@
 val active : unit
              -> tag [Code = transaction xbody] body [] [] []
 
+val script : unit
+             -> tag [Code = transaction unit] head [] [] []
+
 val head : unit -> tag [] html head [] []
 val title : unit -> tag [] head [] [] []
 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []