verifica os tipos das variaveis na hora da atribuicao, mas apenas de expressoes so com variaveis.