二 符号类型理论