Remove unused lemmata.