How does set theory help to understand type assignability and resolution in TypeScript?