Add a few algebraic structures missing from the Algebra.Construct.Pointwise#2555

jamesmckinna merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

bsaul:add-missing-pointwisebsaul/agda-stdlib:add-missing-pointwiseCopy head branch name to clipboard