Update doc/manual/types.rst