change delimiters for forall and exists

They now use a . instead of , or | to separate the bound variables from the predicate.

see #1