[Simplified the universe a little.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080305025215] hunk ./Wand.agda 271
-    id  : Ty
hunk ./Wand.agda 272
+    c   : Ty
hunk ./Wand.agda 276
-  ⟦ id ⟧⋆    = Id
hunk ./Wand.agda 277
+  ⟦ c ⟧⋆     = C
hunk ./Wand.agda 284
-  s : Ty
-  s = id → v
-
-  c : Ty
-  c = s → v
-