增加类型构造器和构造器工厂