| LRef of attrs * int (* attrs, position index *)
| GRef of attrs * uri (* attrs, reference *)
| Cast of attrs * term * term (* attrs, domain, element *)
- | Proj of attrs * lenv * term (* attrs, closure, scope *)
| Appl of attrs * term list * term (* attrs, arguments, function *)
- | Bind of bind * term (* binder, scope *)
+ | Bind of lenv * term (* closure, scope *)
and lenv = bind list (* local environment *)