3.2.2 自由变元和约束变元