Үүнийг мессежээр илгээх: Commutative semantics for probabilistic programming