Improved documentation: added specification of type of documented thing