Print universe polymorphism information for parameters as well.
Merge branch 'trunk' of github.com:HoTT/coq into trunk