another tweak to the EVAL example runner

makes testing the elaborator produce a nicer-looking theorem