Misleading type mismatch warning for `Number`

[bioball]

This snippet produces an incorrect type mismatch warning:

bar: Number

foo: Int|Float = bar

We can consider Number sealed; the only two possible subclasses are Int and Float.