Dynamic Programming in Probability Spaces via Optimal Transport | Synapse