pub fn repeat(t: Tactic) -> Tactic
repeat t: apply t as long as it keeps applying (committing each success), then stop. Always succeeds. Bounded to avoid a non-progressing tactic looping forever.
repeat t
t