# Changelog
## [1.0.0] - 2026-03-11 🎉
### Added — Full Type System
- **TypeInference** — Hindley-Milner unification, substitution, occurs check
- **SubtypeChecker** — Structural subtyping, coercion, widening, narrowing
- **TypeSystemExt** — Opaque, existential, higher-kinded types
- Type classes, template literal types, index access types
- Satisfies assertion, type holes
- 18 new tests (95 total)