Documentation for universe polymorphism
mention difference between Check and Print/About
Merge pull request #601 from mikeshulman/universedoc

Documentation for universe polymorphism
./autogen.sh