adicionados testes para o sistema de tipos
adicionados testes para o sistema de tipos