Simplified definition for homomorphism. Still need to update proofs to reflect the change.