The Carbon Language Project has published the first update on Memory Safety