Lots of debugging. Stuff appearing on screen again.

Fixes to equality checking, group generation, identity element
identification.