Add syntactic sugar « forall X, forall Y, » equivalent to « forall X Y, » and « λ X, λ Y, » equivalent to « λ X Y, »
Update tests to use syntactic sugars