added isabelle-like term ordering, added orderings companion object for generic ordering combinators
added isabelle-like term ordering, added orderings companion object for generic ordering combinators

leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III