Գրեք սա: Commutative semantics for probabilistic programming