Set-theoretic typology