Comment by sapiogram

Does anyone know what they mean by "set-theoretic types"? I'm a PL nerd, but I've never heard this term before.