Refactor library to use type kinds for non-overlapping traits#2

ObsidianMinor wants to merge 1 commit intomaincloudflare/recapn:mainfrom

refactor/type-kindscloudflare/recapn:refactor/type-kindsCopy head branch name to clipboard