--- a/gui.urs	Fri Dec 09 17:38:20 2011 -0500
+++ b/gui.urs	Tue Dec 20 21:04:21 2011 -0500
@@ -2,16 +2,16 @@
 
 (* Types of this class describe gui components. *)
 class gui :: Type (* The type of an object to render *)
-      -> {Unit} (* The HTML context to render it for (minus [body]) *)
+      -> {Unit} (* The HTML context to render it for (minus [Dyn]) *)
       -> Type
 
 (* How to add components to the gui class. *)
-val mkGui : t ::: Type -> ctx ::: {Unit} -> ([body ~ ctx] => t -> xml (body ++ ctx) [] []) -> gui t ctx
+val mkGui : t ::: Type -> ctx ::: {Unit} -> ([[Dyn] ~ ctx] => t -> xml ([Dyn] ++ ctx) [] []) -> gui t ctx
 
 (* XML itself can be a gui component. *)
-val gui_xbody : gui xbody []
-val gui_xtable : gui xtable [Table]
+val gui_xbody : gui xbody body'
+val gui_xtable : gui xtable tabl'
 
 (* Currently the only thing a gui component can do is be
  * pretty printed to a piece of xml. *)
-val toXml : t ::: Type -> ctx ::: {Unit} -> [body ~ ctx] => gui t ctx -> t -> xml (body ++ ctx) [] []
+val toXml : t ::: Type -> ctx ::: {Unit} -> [[Dyn] ~ ctx] => gui t ctx -> t -> xml ([Dyn] ++ ctx) [] []