建立类型与规范