herchel-smith: simulation code, more notes,

finally found (by computer search) an example showing
that abelian lifts are more general than cyclic lifts.