Sul punto 2 dell'esercizio 2: non so, mi incasino con le chiamate... qualcuno potrebbe dirmi la soluzione? così vedo a modo come funziona.
Esercizio 3: per il punto 1 ho pensato a type expr = |... |Let of ide * expr * (ide * expr) list * expr , ma poi non riesco a ampliare la semantica (punto 2) per via della lista...