Αποστολή με SMS: Destructive Update με γραμμικούς τύπους