Clarified definitions for homomorphism and representation, and the field access lemma statement