add monomial order to PrintOptions type