This looks nice. Looking forward to going through it and the related earlier stuff carefully at leisure.

I'm sure the author is well aware, but Lennart Augustsson wrote a really nice blog post responding to the original "Simply Easy!" in 2007 that was a lot more fun and simple than the "Simply Easy" paper.

http://augustss.blogspot.com/2007/10/simpler-easier-in-recen...