A Class of Higher Inductive Types in Zermelo-Fraenkel Set Theory