I explain What I think the language should look like How we might support devs with tooling How this relates to CHERI This is a living document, which I am refining as my understanding improves. Scope Inspired by Gankra's post and elaborating on the tracking issue, we would like