Add comprehensive type-checking infrastructure#27

jeremyeder merged 1 commit intomainambient-code/mobile:mainfrom

feature/type-checking-infrastructureambient-code/mobile:feature/type-checking-infrastructureCopy head branch name to clipboard