core code missing from Nat and Int#1304

reswatson wants to merge 3 commits into

agda:masteragda/cubical:masterfrom

reswatson:natsIntsPRreswatson/cubicalextras:natsIntsPRCopy head branch name to clipboard