implemented an extra syntax for quantifiers, e.g., all(s1, s2: S)
changed some examples to use the new (shorter) syntax for quantifiers