Stav dette: Commutative semantics for probabilistic programming