Added a test for the reduction of a set of expression definitions. These do not all reduce to values so we are using reduce_definitions. This test is currently failing because I have not yet actually implemented the reduction of expressions and consequently the reduction of definitions.
Added a test for the reduction of a set of expression definitions. These do not all reduce to values so we are using reduce_definitions. This test is currently failing because I have not yet actually implemented the reduction of expressions and consequently the reduction of definitions.

ageorgou/pepapot,ageorgou/pepapot,allanderek/pepapot,allanderek/pepapot