Αποστολή με SMS: Shaded tangles for the design and verification of quantum programs