Note:
 - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
   di volte... per ora!) Per il momento ci mettiamo una pezza.
 - Variabili: non consideriamo l'occorrenza di una variabile come una
    vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
    l'attributo @params che fornisce questa informazione.
 - META e IMPLICIT non trattati
 - CAST non considerati ==> di default vado in ricorsione sia sul tipo
   che sul corpo