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