Pošalji tekstualnu poruku: Higher semantics of quantum protocols