Describe part of the evaluator
Make DiffTrace a field
Make the benchmarks faster

They are made faster by making them easier to compute, not by optimizing :)
Add index