6.12
TheLanguage
TheLanguage是一个语言的集合（暂时只有一个语言）。
1 核心语言定义
1.1 数据
1.1.1 詞素
racket的symbol。 标识符或构成标识符的元素。
1.1.2 間空
racket的null。
1.1.3 連頸
(a . d)
racket的cons。
1.1.4 構物
#(类型 . 内容)
类型一般是一个标识符，内容一般是一个列表。
表示各种其他数据。类似SICP中的某种cons的用法。
当类型是詞素符名时，这个構物是一个标识符。标识符只可能是这种構物或者詞素。
1.1.5 註疏
;(类型 . 内容)
类型一般是一个标识符，内容一般是一个列表。
eval时忽略。
1.1.6 未求值的数据
$(环境 代码)