Update basic-types.md