created "cic.v" file for the definition of cic
moved old list-based universal inductive type to indtype-list.v; created a new, slightly more general universal inductive type
updated CiC definition to allow inductive types to contain arbitrary sequences of constructor types