Implement new rules for number operations

[johnniwinther]

The new rules are found in https://github.com/dart-lang/language/blob/master/accepted/future-releases/nnbd/number-operation-typing.md

Parent language issue is here: dart-lang/language#1078

[lrhn]

We're still tweaking the rules a little, so stay alert :)