| C.Const (uri,exp_named_subst) ->
C.Const (uri, List.map (fun (n,t) -> n,aux ctx t) exp_named_subst)
| C.MutInd (uri,typeno,exp_named_subst) ->
| C.Const (uri,exp_named_subst) ->
C.Const (uri, List.map (fun (n,t) -> n,aux ctx t) exp_named_subst)
| C.MutInd (uri,typeno,exp_named_subst) ->