Grammar: more strict WFF with parentheses

Currently the parser is a bit loose when it comes to the use of parentheses, for example this is a valid WFF as far as the grammar is concerned: 

```
((p) ≡ (q))
```

But based on IEP article, the extra parentheses are invalid. It should be easy to make the grammar slightly more strict regarding such cases.
