User:DTLHS/cleanup/explicit lemma categorization