Generate legal names for infix op lemmas

Fixes #1337

Old name: ><_lemma_1
New name: infix_op_lemma_1