Commit 2023-07-27 17:38 14fcf7b2

feat: replace have? correctly (#5305)

• have? using h now replaces the whole tactic with the suggestion, not just the have?
• Allow have!? as alternative syntax for have?! (similar for rw!? and exact!? -- the latter has not been implemented yet)