rename Base.DevNullStream => Base.DevNull #26132
Description
Can't be done until after 0.7 deprecations are deleted and it isn't a public name so not urgent, but once #25959 is merged and the current DevNull object is called devnull then we may as well rename its type to DevNull.