looks like you're right -- i should have realized this, having recently finished logicomix -- but then that's all sets and not types. which, of course, turns out to be important.