replaceAt() in Compund, ImmutableArray, etc. (Tuple, ProductSet, …) -> useful simplification in PreimageOrProofGenerator