Add primop backed versions of natural-number operations#1818

MatthewDaggitt merged 3 commits intoagda:masteragda/agda-stdlib:masterfrom

Taneb:nat-more-primopsTaneb/agda-stdlib:nat-more-primopsCopy head branch name to clipboard