commit rename term -> lemma