Correções no código e melhorias na implementação do TAD