is_increasing() and is_decreasing() should probably be renamed to is_nondecreasing() and is_nonincreasing()

[spillner]

To minimize confusion for users/code readers who aren't familiar with the existence of strictly_increasing()/strictly_decreasing().