Wrote a section on Ada 2012 and adjusted some other paragraphs.