"The singleton open type for [[Nothing|ceylon.language::nothing]]."
shared object nothingType satisfies OpenType {
    string=>"Nothing";
}