Remove dead code in universe handling in the abstract tactical.
Remove dead code in universe handling in the abstract tactical.

Since 213b323 the kernel was expecting to receive an empty set of internal
universe constraints in polymorphic definitions. We lift this invariant to
the code that actually generates side effects.

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