A DSL for defining stochastic maps between traces of Gen generative functions - View it on GitHub