用 TypeScript 的区分并集（discriminated unions）替换布尔标志和可选字段。涵盖基于 never 的收窄与穷尽性检查，以及类型化的表单状态机。