A general syntax for nonrecursive Higher Inductive Types