Mark completed 0.15.0 roadmap items

Author: mgomes

ROADMAP.md

@@ -171,8 +171,8 @@ Goal: make types expressive enough for real workflows while keeping runtime chec
 - [x] Add parametric container types: `array<T>`, `hash<K, V>`.
 - [x] Add union types beyond nil: `A | B`.
 - [x] Add typed object/hash shape syntax for common payload contracts.
-- [ ] Add typed block signatures where appropriate.
-- [ ] Define type display formatting for readable runtime errors.
+- [x] Add typed block signatures where appropriate.
+- [x] Define type display formatting for readable runtime errors.
 
 ### Type Semantics
 
@@ -193,7 +193,7 @@ Goal: make types expressive enough for real workflows while keeping runtime chec
 - [x] Add parser tests for all new type syntax forms.
 - [x] Add runtime tests for nested composite type checks.
 - [x] Add regression tests for existing `any` and nullable behavior.
-- [ ] Expand `docs/typing.md` with migration examples.
+- [x] Expand `docs/typing.md` with migration examples.
 
 ### v0.15.0 Definition of Done