A satellite formula for real Seiberg-Witten Floer homotopy types | Synapse