use α×num rather than α list for the example model of set theory

this makes clearer what's going on: we want to use num, but need a type
variable for infinite sets.