All versions of ordered needs to capture the optional length/pair_vars argument

Currently, only `concept_ordered` uses the `pair_vars` kwarg. It shoudl also be done for

- `increasing`
- `decreasing`
- `strictly_increasing`
- `strictly_decreasing`

Additionally, the default value of `pair_vars` could be `zero(x)` instead of `nothing`.