Bidirectional some and every blocks

This adds support for every{} and some{} blocks on the <- left side of an arrow and on both sides of a <-> bidirectional arrow.