Zaslat SMS: Higher semantics of quantum protocols