Add syntactic sugar « forall X, forall Y, » equivalent to « forall X Y, » and « λ X, λ Y, » equivalent to « λ X Y, »
Add syntactic sugar « forall X, forall Y, » equivalent to « forall X Y, » and « λ X, λ Y, » equivalent to « λ X Y, »

jpdeplaix/cervoise,jpdeplaix/cervoise