Spec bidi some and every blocks
Implement some/every binders