boolean choices are now modelled exactly as observables (thus they can be used as a trigger in a CheckWithin contract!)