Enviar por SMS: Linking Theories in Probabilistic Programming