make repl_funExamplesTheory print the test cases as it builds