TypeScript and Set Theory | Iván Ovejero How does set theory help to understand type assignability and resolution in TypeScript?