Add Append/HAppend type class pages explaining why ++ is used instead of +#2525

Seasawher with Copilot wants to merge 2 commits into

mainlean-ja/lean-by-example:mainfrom

copilot/fix-string-concatenation-issuelean-ja/lean-by-example:copilot/fix-string-concatenation-issueCopy head branch name to clipboard