Improved documentation of TypeUniverse