| Prod of name * term * term (* binder, source, target *)
| Lambda of name * term * term (* binder, source, target *)
| LetIn of name * term * term * term (* binder, type, term, body *)
- | Const of NUriManager.uri (* uri contains indtypeno/constrno *)
+ | Const of NUriManager.reference (* reference contains indtypeno/constrno *)
| Sort of sort (* sort *)
| Implicit of implicit_annotation (* ... *)
- | MutCase of NUriManager.uri * (* ind. uri, *)
+ | MutCase of NUriManager.reference * (* ind. reference, *)
term * term * (* outtype, ind. term *)
term list (* patterns *)