Anfonwch hwn fel neges destun: Linking Theories in Probabilistic Programming