Adiciona funções para inferencia de tipos
Adiciona o tipo unit, para comandos
Limpa warnings