let ouri_of_reference (NReference.Ref (u,_)) = ouri_of_nuri u;;
-let cprop = [false, NUri.uri_of_string ("cic:/matita/pts/CProp.univ")];;
+let cprop = [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type.univ")];;
let nn_2_on = function
| "_" -> Cic.Anonymous