Arrumado o sistema de tipos para função e Let. Falta lista e let rec