Fixed test formatting in the example add one
SERVES implemented

Now we just need a runtime evaluator...