Grammatica ordinata, aggiunta la possibilità di passare generici ad altre funzioni annidate.
Modificata la grammatica.
Segate le liste, si fanno coincidere con il tipo base, per quelle generiche si usa il generic type normale.