类型化评估器指输出落在预先定义好的取值集合里：布尔、固定选项、或离散刻度上的点，而不是一段自由文本。