שליחה במסרון: Linking Theories in Probabilistic Programming