新形式的类型空间