Update types.md