handle nothingType for ceylon/ceylon-js#438