Add ReceiveIn operation and move non-normative sections from SendOut operation