We build a model in nominal sets for TST+; typed set theory with typical
ambiguity. It is known that this is equivalent to the consistency of Quine's
New Foundations.
Nominal techniques are used to constrain the size of powersets and thus model
typical ambiguity