+ | NDiscriminator of loc * CicNotationPt.term
+ | NInverter of loc * string * CicNotationPt.term * bool list option * CicNotationPt.term option
+ | NUnivConstraint of loc * NUri.uri * NUri.uri
+ | NCopy of loc * string * NUri.uri * (NUri.uri * NUri.uri) list
+ | NCoercion of loc * string *
+ CicNotationPt.term * CicNotationPt.term *
+ (string * CicNotationPt.term) * CicNotationPt.term