types: define BigInt#313

eush77 wants to merge 2 commits intosanctuary-js:mainsanctuary-js/sanctuary-def:mainfrom

eush77:biginteush77/sanctuary-def:bigintCopy head branch name to clipboard