basic combinators for ordering (including lexico combination)