Envoyer par SMS: Linking Theories in Probabilistic Programming