补全:判语义是否 OK
补全 ok：没有未定义变量才算语义 OK。
贯穿本节的小语言（判题机没 gcc，这是它的确定模型，见 spine.py）：每行一条语句——set 名 = 表达式 或 print 表达式；表达式是空格分隔的 token，从左到右求值（无优先级），数字 token 当值、名字到环境里查（没有当 0）。
declared 收集 set 定义过的名字，used 收集表达式里用到的名字，undefined 交回「用了却没定义」的名字，ok=没有未定义变量。
全部评论