Fix typos in basics/types.md