Cleaned up and renamed lemmas

2 jobs for !357 with sublist_lemmas in 4 minutes and 34 seconds (queued for 17 seconds)
latest merge request