add another clause to term_ok_clauses
a variety of potentially useful lemmas about the term ordering stuff