Correct misrepresentation of print (it uses str(), not `...` for

conversion).  Hopefully I've not messed up the formatting.

Doc/lib/libstdtypes.tex

@@ -13,9 +13,11 @@ classes, instances and exceptions.
 \indexii{built-in}{types}
 
 Some operations are supported by several object types; in particular,
-all objects can be compared, tested for truth value, and converted to
-a string (with the \code{`\textrm{\ldots}`} notation).  The latter
-conversion is implicitly used when an object is written by the
+practically all objects can be compared, tested for truth value,
+and converted to a string (with the \code{`\textrm{\ldots}`} notation,
+the equivalent \function{repr()} function, or the slightly different
+\function{str()} function).  The latter
+function is implicitly used when an object is written by the
 \keyword{print}\stindex{print} statement.
 (Information on \ulink{\keyword{print} statement}{../ref/print.html}
 and other language statements can be found in the