es5

  (dec2) e (lambda) vanno modificate in modo tale che il valore di una
  espressione lambda risulti essere la lambda espressione stessa, anziche' 
  una chiusura come avviene nella nostra semantica.
  Inoltre, nella prima assunzione di (appl1) occorre avere
              e0 --> (lambda (x1...xm) d1...dp e)
  mentre nella quarta assunzione bisogna usare n anziche' n'.