Semi-affine maps

Stream: general

[Yaël Dillies]

Now that we have semilinear maps, should docs#affine_map be generalized in the same fashion? I don't actually know whether this is a thing, but that sounds useful for doing Euclidean geometry where some maps are not affine but "conj-affine".