Отправить по sms: Higher semantics of quantum protocols