[ new ] notions of finiteness#2022

Saransh-cpp wants to merge 4 commits intoagda:masteragda/agda-stdlib:masterfrom

Saransh-cpp:finitenessSaransh-cpp/agda-stdlib:finitenessCopy head branch name to clipboard