Let rec implementado. Falta arrumar o sistema de tipos