Typos in types.rst