uniformDistribution; refactor tests; create StochasticLambdaCalculus spec