checagem de tipos atribuicao