public function __clone() { $set = new Set(); $set->addAll($this->type_set); $this->type_set = $set; }
