In actual reality, if you start clicking thru Sadun&#x27;s links, you&#x27;ll see that SE-0001, SE-0020,  and SE-0015 are already in the language as of 2.2,  SE-0002 and SE-0004 are marked as &quot;accepted&quot;, and SE-0007 is scheduled for swift 3.0