* @param uri inductive type uri
* @param typeno inductive type number
* @raise Failure
* @raise Can_t_eliminate
* @return Cic constant corresponding to the required elimination principle
* @param uri inductive type uri
* @param typeno inductive type number
* @raise Failure
* @raise Can_t_eliminate
* @return Cic constant corresponding to the required elimination principle