Tooling

The instruments that surround the Clef compiler: the language server and editor integration worked through day to day, and the package manager that puts source on the build path without a runtime in the way. The set widens as the toolchain does, toward verification and the evidence a certification lab re-checks.