switch from α×num to α+num

suggestion from Rob.
this is even more economical as an example model of the set theory.