mgb interface allows monomial order with lex tie-breakers now