[ add ] `Algebra.Definitions.Central` plus `Consequences` for `Identity` and `Zero`#2873

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:centraljamesmckinna/agda-stdlib:centralCopy head branch name to clipboard