Improve set.java.
Add SetGen::singleton, SetGen::remove, SetGen::choose, SetGen::union,
SetGen::inter
Merge two axiomatics.