Fix printing of private universes.
Fix printing of private universes.

Set Printing Universes.
Set Universe Polymorphism.
Lemma foo : Type.
Proof. exact (forall _ : Type, Type).
Qed.

Print foo.

Before:
(*
foo@{Top.1} =
Type@{Top.2} -> Type@{Top.3}
     : Type@{Top.1}
(* Top.1 |= Prop < Set
            Set < Top.1
            local: {Top.3 Top.2} |= Top.2 < Top.1
                                    Top.3 < Top.1
                                     *)

foo is universe polymorphic
*)

Now:
(* Public universes:
Top.1 |= Set < Top.1
Private universes:
{Top.3 Top.2} |= Top.2 < Top.1
                 Top.3 < Top.1 *)

maximedenes/coq,Zimmi48/coq,JasonGross/coq,Zimmi48/coq,maximedenes/coq,ppedrot/coq,Matafou/coq,JasonGross/coq,ejgallego/coq,coq/coq,silene/coq,SkySkimmer/coq,Matafou/coq,gares/coq,JasonGross/coq,ppedrot/coq,Matafou/coq,gares/coq,Zimmi48/coq,gares/coq,ejgallego/coq,JasonGross/coq,ejgallego/coq,ppedrot/coq,silene/coq,coq/coq,SkySkimmer/coq,coq/coq,gares/coq,silene/coq,ppedrot/coq,maximedenes/coq,maximedenes/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,ppedrot/coq,ejgallego/coq,maximedenes/coq,gares/coq