Գրեք սա: Linking Theories in Probabilistic Programming