Added half-adjoint equivalences and equivalence to is-equiv
Tidying up
Some work on groups
Revert "Some work on groups"

This reverts commit 3ac348e898c94087c78f081a3842c0d54d2e4baf.
Merge pull request #4 from imeckler/master

Rewrite of adjoint equivalence proofs