Move homomorphism definitions to their own file