v0.7.0

What's Changed

• Add HKT head substitution, model-extra config, and stub-check severity by @CodeHalwell in #133
• 🎨 Palette: Add keyboard focus rings and smooth scrolling to documentation site by @CodeHalwell in #131
• ⚡ Bolt: Optimize string escaping formatting in python emitter by @CodeHalwell in #124
• 🛡️ Sentinel: [ENHANCEMENT] Implement allow-secret-comptime configuration by @CodeHalwell in #125
• examples + vscode: prune small examples to high-signal set, refresh ty.svg by @CodeHalwell in #134
• fix: round-3 sweep — 8 compiler bugs + 2 doc gaps by @CodeHalwell in #135
• feat(tyc-types): preserve newtype across same-newtype + literal arithmetic (R2-12) by @CodeHalwell in #137
• release: v0.7.0 + apps reorganised into grouped subdirectories by @CodeHalwell in #138

Full Changelog: v0.6.1...v0.7.0