创建类型

类型的操作包括创建类型头、创建类型主体删除类型。类型的创建应该先创建类型头，再创建类型的主体。