Add left- and right- `Pointwise` congruence for `_++_` on `List`#2426

JacquesCarette merged 4 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue1131jamesmckinna/agda-stdlib:issue1131Copy head branch name to clipboard