Improved partition refinement in iso

Also iso2 was added to test an slightly nice implementation based
on immutable BitSets. So far, it performs very well.