Verificação de tipo de expressão aritmética.