`ControlFlow`: The Answer to `BoolAnd`/`BoolOr`

Previous discussion: Pre-RFC: Overload Short Curcuits