Added "inverse" and "ident" functions to the group protocol.
The int-group's inverse is currently broken. This is documented via
the unit tests.