Arrumado semantics para typeinference de expressões aritmeticas