שליחה במסרון: Commutative semantics for probabilistic programming