Added a 'a is true/false withProbAtLeast n' combinator.