Revised syntax of the quantified formula

The syntax published in March turned out to be problematic in order to be compatible with the old syntax.  The reason is the different treatment of Exists “function”.  The second parameter if Exists, if supplied three parameters, are evaluated differently than what I treated in Eos. 3.1.

I switched to the old syntax in order to be compatible with the old system and moreover to compatible with the commonly used syntax of the language of the first-order predicate logic.