Add eval-trace language and make examples.