词法结构和类型，值，变量测试