Added conjugatedBy method to FiniteElement. Added self-types to avoid casts.