util.nondecreasing duplicates predicate "sorted" from ssreflect.path

It seems that util.nondecreasing at least partially duplicates functionality of predicate sorted from ssreflect.path.

It might have sense to switch to sorted