Text this: Linking Theories in Probabilistic Programming