exposing binomial_cdf in the modeling language