fix up empty set a la pi2.0.
fix for loops a la pc2.0.
put the whole thing under sccs.