Fix definition of homomorphisms
Require verified groups for a verified homomorphism
Add proofs to verify the trivial group
Turn Z_2.idr into its own module