On Higher Inductive Types in Cubical Type Theory