The compiler has a test which need the order of types in a @TypeInfo union/intersection to be the same as the order in the ceylon source. That means we always need the Null first in the union when the ceylon source uses an abbreviated optional type.