语义规范

本节定义 AutoLang 的语义。

(待补充)