Promoting nil to base type and adding the top type