Simplified recv_spec

Jonas Kastbergrequested to merge
multiparty_synchronous_recv_simpl into multiparty_synchronous

Merge request reports