Stav dette: Linking Theories in Probabilistic Programming