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