Documentation for universe polymorphism

I can't recall the behavior... do either `Check` or `About` print constraints too?