Validation

Write and review TypeScript with reliable domain types

Model valid states, validate external data at boundaries, and verify TypeScript changes without hiding errors behind casts.