Extension of _forall

Suppose you have: 

``` scala
val constraints: Iterable[FirstOrderConstraint] .. 
```

And you wanna `and` them:  

``` scala
constraints.toSeq._forall(a => a)
```

Create an easier extension such that you just do: 

``` scala
constraints._forall
```
