chore: add docstrings for the undocumented tactics#281

Vierkantor wants to merge 1 commit intomasterleanprover-community/aesop:masterfrom

add-tactic-docsleanprover-community/aesop:add-tactic-docsCopy head branch name to clipboard