TypeScript: Narrowing & Data Contracts

Practice union narrowing, optional values, type assertions, and the boundary between static types and runtime data.