KC: Integrate Common Validated Proto Types#26

bladyjoker merged 11 commits intomainmlabs-haskell/lambda-buffers:mainfrom

compiler/common-types-kind-checkermlabs-haskell/lambda-buffers:compiler/common-types-kind-checkerCopy head branch name to clipboard