[ refactor ] `Function.Definitions`, adding `Function.Definitions.Strict` module#2567

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

jamesmckinna:function-definitionsjamesmckinna/agda-stdlib:function-definitionsCopy head branch name to clipboard