The type information provides more precise operational semantics to the values.

• 类型信息为值提供更精确的操作语义。