Pošalji tekstualnu poruku: Linking Theories in Probabilistic Programming