Type Theory: Sets and Unions

TypeScript is structurally typed. We must stop thinking in classes and start thinking in overlapping sets of theoretical objects.