Simplified recv_spec

Jonas Kastberg requested to merge multiparty_synchronous_recv_simpl into multiparty_synchronous Mar 26, 2024