(* kernel version: basic, relative, global *)
(* note : ufficial basic lambda-delta *)
-type uri = Unit.uri
-type id = Unit.id
+type uri = Entity.uri
+type id = Entity.id
type attr = Name of bool * id (* real?, name *)
| Apix of int (* additional position index *)
| Appl of attrs * term * term (* attrs, argument, function *)
| Bind of bind * term (* binder, scope *)
-type entry = bind Unit.entry (* age, uri, binder *)
+type entry = bind Entity.entry (* age, uri, binder *)
-type unit = bind Unit.unit
+type entity = bind Entity.entity
type lenv = Null
(* Cons: tail, relative local environment, binder *)