Pošljite SMS: Higher semantics of quantum protocols