Argumentos de funcoes agora tem tipo verificados. Alguns bugs arrumados.