add tabled version of `redo*`, `tredo*`