SMS versenden: Linking Theories in Probabilistic Programming