Update types.rst