SMS dit: Higher semantics of quantum protocols