Enviar por SMS: Making Session Types Go