I agree it should indeed be `Nothing?`, but what d...

# announcements

[Ruckus]

I agree it should indeed be Nothing?, but what does it choose if you have an extension on Int? and Long?? Should there just be special handling that, when resolving extension functions, Nothing? uses the highest type in scope?