Friends

I propose that we accept the Explicit Foralls proposal.

• No one objected
• It makes the language more expressive and uniform
• It fixes a long-standing ticket #2600

The only bump in the road is the double forall in RULES (see the Examples in the proposal).  But that’s not Ricahrd’s fault, and the proposed solution seems reasonable.

I move to accept.

Simon