Moves all T elements down an index that satisfy the given predicate, unless they are already at the bottom