| Appl of term * term (* argument, function *)
| Bind of id * bind * term * term (* name, binder, content, scope *)
-type obj = bind * term (* binder, contents *)
+type obj = int * uri * bind * term (* age, uri, binder, contents *)
-type item = (obj * uri) option (* uri, object *)
+type item = obj option