TypeScriptの判別付きユニオンを使用して、ブーリアンフラグとオプションフィールドを置き換えます。ナローイング、neverによる網羅性チェック、および型付けされたフォームステートマシンをカバーします。