genera i_rec e i_rect quando c'e' un argomento ricorsivo.
(CSC: manca vincolo aggiuntivo non dipendente dalla sorta per il caso in
questione) -> Gares
- - bug universi e tipi induttivi
+ - bug universi e tipi induttivi (anche in cicElim.ml!!!)
- Set predicativo