Bad name for contract, natural numbers != non-negative integers
Fix CTYP-175, core.typed fails to load without cljs
changelog