testing waters with indexed constructors

 * first index is the datatype context
 * second is the name of the constructor

(Note: for these datatypes we cannot (easily) enumerate
 all the distinct constructors, so we specify the empty
 symbol, meaning an abstract constuctor (in 'gdiff' parlance))
actually create the indexed Constr descriptions