发送短信: Higher semantics of quantum protocols