WAE Test Cases:

2;

x;

{2};

{x};

{+ a a a};

{+ 3 3 3};

{+ 2 2};

{- 4 2};

{+ {+ {+ 2 3} {+ 4 5}} {+ 5 7}};

{+ x 2};

{with {x {with {y 3} {+ y y}}} {+ x x}};

{with {x {with {x {with {y 3} {+ y y}}} {+ x x}}}  {+ x 2} };

{with {x 3} {with {y 4} {with {z 5} {+ x {+ y z}} } } };

{with {x 3} {with {y 4} {+y z}};