Added lemma for using context rules instead of cooperative
Fixed notation for sending objects and added pipes to multisets
Fixed some notation issues