evaluation microbenchmark.
pulling apart Lemma and SepLemma.